已知文法G：S→A0|B1，A→S1|1，B→S0|0，其中S是开始符号。从S出发可以推导出（ ）。
- A.所有由0构成字符串
- B.所有由1构成字符串
- C.某些0和1个数相等字符串
- D.所有0和1个数不同字符串
正确答案及解析
正确答案
C
解析
本题考查程序语言基础知识。用文法表示语言语法规则时，推导是产生语言句子基本方式。以题目中文法为例，推导出1010过程为S=＞A0=＞S10=＞A010=＞1010，推导出0110过程为S=＞A0=＞S10=＞B110=＞0110，对于0000、1111、1100、0011等则推导不出。因为由S先推导出A0后，再去推导A则必然产生一个与0相邻(在0左边)1，而由S先推导出B1，则下一步必然要推导出一个与1相邻(在1左边)0。这保证了当1出现时，马上就会出现0，或者反之，且0和1距离很近。分析更多例子发现，仅有"某些0和1个数相等字符串"是正确。
你可能感兴趣的试题
-
- A.V(S2)和P(S4)
- B.P(S2)和V(S4)
- C.P(S2)和P(S4)
- D.V(S2)和V(S4)
- 查看答案
-
- A.V（S1）P（S2）和V（S3）
- B.P（S1）V（S2）和V（S3）
- C.V（S1）V（S2）和V（S3）
- D.P（S1）P（S2）和V（S3）
- 查看答案
-
- A.P（S4）和V（S4）V（S5）
- B.V（S5）和P（S4）P（S5）
- C.V（S3）和V（S4）V（S5）
- D.P（S3）和P（S4）V（P5）
- 查看答案
-
- A.P(S3)和V(S4)V(S5)
- B.V(S3)和P(S4)P(S5)
- C.P(S3)和P(S4)P(S5)
- D.V(S3)和V(S4)V(S5)
- 查看答案
-
- A.P（S2）和P（S4）
- B.P（S2）和V（S4）
- C.V（S2）和P（S4）
- D.V（S2）和V（S4）
- 查看答案