已知文法G[S]:S→A0|Bl,A→S1|1,B→S0|0;该文法属于乔姆斯基定义的哪类文法()。A.0型B.1型C.2型D.3型

用文法表示语言的语法规则时，推导是产生语言句子的基本方式。以题目中的文法为例，有如下推导：
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的距离很近。分析更多的例子发现，仅有"某些0和1个数相等的字符串"是正确的。