单项选择题

用产生式系统来描述一个具体问题。设字符转换问题规则如下:1.A∧B→C;2.A∧C→D;3.B∧C→G;4.B∧E→F;5.D→E;已知:A,B求:F。设综合数据库用集合{x}表示,其中x为字符。采用顺序排队的控制策略。初始状态{A,B}。下列结束条件正确的是()

A.F∈{x},当目标F在综合数据库中出现时,则F被求得。
B.F∈{x},当目标F在综合数据库中出现时,则F一定不被求得。
C.F不包含于{x},当目标F不在综合数据库中出现时,则F被求得。
D.F不包含于{x},当目标F不在综合数据库中出现时,则F一定被求得。

相关考题