已知文法G:S->A0|B1,A->S1|1，B->S0|0，其中S是开始符号。从S出发可以推导出（ ）？A.所有由0构成的字符串B.所有由1构成的字符串C.某些0和1相等的字符串D.所有0和1个数不同的字符串
已知文法G:S->A0|B1,A->S1|1，B->S0|0，其中S是开始符号。从S出发可以推导出（ ）？
A.所有由0构成的字符串
B.所有由1构成的字符串
C.某些0和1相等的字符串
D.所有0和1个数不同的字符串
B.所有由1构成的字符串
C.某些0和1相等的字符串
D.所有0和1个数不同的字符串
参考解析
解析：用文法表示语言的语法规则时，推导是产生语言句子的基本方式。以题目中的文法为例，有如下推导：
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的距离很近。分析更多类似的例子发现，只有C选项最合适。
故正确答案为：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的距离很近。分析更多类似的例子发现，只有C选项最合适。
故正确答案为：C
相关考题：
● 对给定文法G=（VN，VT， P，S），VT={a，Λ，(，)}，VN={S，T}，S是开始符号，P:S→a|Λ|(T)T→T,S|S则（1）不是它的句子。该文法是（2）型文法。（1）A. (a,(a,a)) B. (((a,a), Λ,(a)),a) C. ((a,a), Λ) D. ((a,a),(T))（2）A．0型文法 B．1型文法 C．2型文法 D．正规文法
下列地化参数中可以解释为油层的一组是()。 A、S0=0.2358，S1=15.2375，S2=5.2375B、S0=0.0028，S1=1.2372，S2=2.0083C、S0=0.0037，S1=1.0237，S2=1.1517D、S0=0.1347，S1=2.0705，S2=1.5127
考虑下述文法，S为开始符号 G1[S]：S→A A→aAb | ab G2[S] S→AA→aA |a| 下列结论中为真的是(28)。A．G1是LR(0)文法，G2不是LR(1)文法B．G2是LR(0)文法，G1不是LR(1)文法C．G2是LR(1)文法，G1不是LR(1)文法D．G1和G2都是LR(1)文法
程序语言的大多数语法现象可用上下文无关文法描述。对于一个上下文无关文法 G=(N，T，P，S)，其中N是非终结符号的集合，T是终结符号的集合，P是产生式集合，S是开始符号。令集合V=N∪T，那么G所描述的语言是(50)的集合。A．从S出发推导出的包含尸中所有符号的串B．从S出发推导出的仅包含厂中符号的串C．N中所有符号组成的串D．T中所有符号组成的串
已知文法G: S—A0|B1，A- S1|1, B-*S0|0,其中S是开始符号。从S出发可以推导出（12）。A.所有由0构成的字符串B.所有由1构成的字符串C.某些0和1个数相等的字符串D.所有0和1个数不同的字符串
给定文法G[S]及其非终结符A，FIRST(A)定义为：从A出发能推导出的终结符号的集合(S是文法的起始符号，为非终结符)。对于文法G[S]： S→[L]|a L→L，S|S 其中，G[S]包含的4个终结符号分别为： a ， [ ] 则FIRST(S)的成员包括(48)。A．aB．a、[C．a、[和]D．a、[、]和，
已知文法G:S-＞A0|B1,A-＞S1|1,B-＞S0|0,其中S是开始符号。从S出发可以推导出（21）。A.所有由0构成的字符串B.所有由1构成的字符串C.某些0和1个数相等的字符串D.所有0和1个数不同的字符串
已知文法G[S]：S→A0｜B1，A→S1｜1，B→S0｜0，该文法属于乔姆斯基定义的(18)文法，它不能产生串(19)。语言L={ambn｜m≥0，n≥1)的正规表达式是(20)。一个文法G=(N，T，P，S)，其中N是非终结符号的集合，T是终结符号的集合，P是产生式集合，S是开始符号，令集合V=N∪T，那么G所描述的语言是(21)的集合。程序设计语言引入“类”的概念是为了解决数据保护问题。C++语言将类的成员封装在类体之中，使之具有一定的存取规则，这些规则规定了存取类的成员的权利，其中对于用Private说明的成员，它(22)。A．0型B．1型C．2型D．3型
已知文法G: S--AOIBI，A-- S111，B—S0I0，其中S是开始符号。从S出发可以推 导出(12)。A.所有由0构成的字符串B.所有由1构成的字符串C.某些0和1个数相等的字符串D.所有0和1个数不同的字符串
设 AgCl 在水中、在0. 01mol/L NaCl 溶液中、在0. 01mol/L MgCl2 溶液中、在0. 01mol/L AgNO3溶液中的溶解度分别为S0、S1、S2、S3。下列式子中正确的是？A. S0>S3>S2>S1 B. S0>S1=S3>S2C. S0>S1>S2>S3 D. S0>S1=S2=S3
已知文法G：S→A0|B1，A→S1|1，B→S0|0，其中S是开始符号。从S出发可以推导出（ ）。A.所有由0构成的字符串B.所有由1构成的字符串C.某些0和1个数相等的字符串D.所有0和1个数不同的字符串
AgCl在水中，0.01mol/L CaCl2 溶液中，0.01mol/L NaCl溶液，0.05mol/L AgNO3 溶液中的溶解度分别为S0、S1、S2、S3,那么下列哪种排列是正确的（ ）。 A. S0>S1>S2>S3 B. S0>S2>S1>S3 C. S0>S1>S2=S3 D. S0>S2>S3>S1
设AgCl在水中、0.01mol·l-1CaCl2、0.01mol·l-1NaCl中以及在0.05mol·l--1AgNO3中的溶解度分别为S0、S1、S2、S3，这些量之间的正确关系是（）。A、S0＞S1＞S2＞S3B、S0＞S2＞S1＞S3C、S0＞S1=S2＞S3D、S0＞S2＞S3＞S1
S7-200PLC的堆栈为S0~S8九层，触点块串联指令是将（）中的内容相“与”后，再送入S0中，堆栈中的内容从S2开始依次上跳。A、S0与S1B、S1与S2C、S0与指定继电器D、S1与指定继电器
设AgCl在水中，在0.01mol·L-1CaCl2中，在0.01mol·L-1NaCl中以及在0.01mol·L-1AgNO3中的溶解度分别为S0，S1，S2，S3这些量之间的定量关系正确的是（）。A、S0＞S1＞S2＞S3B、S0＞S2＞S1＞S3C、S0＞S2=S3＞S1D、S3＞S0＞S2＞S1
单选题已知文法G［S］：S→A0｜B1，A→S1｜1，B→S0｜0；该文法属于乔姆斯基定义的__（1）__文法，它不能产生串__（2）__。空白（2）处应选择（）A0011B1010C1001D0101
单选题已知文法G［S］：S→A0｜B1，A→S1｜1，B→S0｜0；该文法属于乔姆斯基定义的__（1）__文法，它不能产生串__（2）__。空白（1）处应选择（）A0型B1型C2型D3型