單項選擇題

用產(chǎn)生式系統(tǒng)來描述一個具體問題。設字符轉換問題規(guī)則如下:1.A∧B→C;2.A∧C→D;3.B∧C→G;4.B∧E→F;5.D→E;已知:A,B求:F。設綜合數(shù)據(jù)庫用集合{x}表示,其中x為字符。采用順序排隊的控制策略。初始狀態(tài){A,B}。下列結束條件正確的是()

A.F∈{x},當目標F在綜合數(shù)據(jù)庫中出現(xiàn)時,則F被求得。
B.F∈{x},當目標F在綜合數(shù)據(jù)庫中出現(xiàn)時,則F一定不被求得。
C.F不包含于{x},當目標F不在綜合數(shù)據(jù)庫中出現(xiàn)時,則F被求得。
D.F不包含于{x},當目標F不在綜合數(shù)據(jù)庫中出現(xiàn)時,則F一定被求得。

微信掃碼免費搜題