CMS专题
单选题已知文法G［S］：S→A0｜B1，A→S1｜1，B→S0｜0；该文法属于乔姆斯基定义的__（1）__文法，它不能产生串__（2）__。空白（2）处应选择（）A 0011B 1010C 1001D 0101
题目
0011
1010
1001
0101
相似问题和答案
第1题：
A.LL(1)文法
B.算符优先文法
C.二义性文法
D.SL(1)文法
第2题：
A.ab0
B.a0c01
C.aaa
D.bc10
第3题：
● 对给定文法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．正规文法
根据句子的定义，若从文法G的开始符号S能推导出的符号串成为文法的一个句型，仅含终结符的句型成为一个句子。很显然，备选答案D中含有非非终结符T，所以它不是文法的句子。
该文法是递归可枚举的，所以文法是0型文法，又文法所有产生式的右边长度大于或等于产生式左边长度，所以文法是1型文法，由于该文法的每个产生式的左边均是非终结符，所以该文法是2型文法；由于文法的两个产生式即不是右线性，也不是左线性，所以该文法不是正规型文法。
第4题：
为下列文法选择最准确的答案：
文法G[S]属于(12)：
S→CD Ab→bA
C→aCA Ba→aB
C→bCB Bb→bB
AD→aD C→s
BD→bD D→c
Aa→bD
L(G)={ww|w∈{a,b)*)
文法G[冈属于(13)：
P→0A|1B|O
A→0A|1B|0P
B→1B|1|0
文法G[1]属于(14)：
I→1T
I→1
T→1T
T→dT
T→1
T→d
其中，1表示a～z中的任意一个英文字母，d表示0～9中的任意一个数字。
A．1型(上下文有关)文法
B．2型(上下文无关)文法
C．定义标识符的3型(正规)文法
D．0型文法
解析：本题考查4种文法的定义。需要注意的是，4个文法类的定义是逐渐增加限制的，因此每一种正规文法都是上下文无关的，每一种上下文无关文法都是上下文有关的，而每一种上下文有关文法都是0型文法。称0型文法产生的语言为0型语言。上下文有关文法、上下文无关文法和正规文法产生的语言分别称为上千文有关语言、上下文无关语言和正规语言。
第5题：
已知文法G1＝(VT＝{a,b,d}，VN＝{S，A，B}，S,P)，其中P为： S→dAB A→aA|a B→bB|ε 该文法属于(28)文法。
A．0型
B．上下文有关
C．上下文无关
D．正规
解析：乔姆斯基(Chomsky)把文法分成4种类型，即0型、1型、2型和3型，由此产生的语言分别称为0型、1型、2型和3型语言。这几类文法的差别在于对产生式的形式施加不同的限制，如下表所示。0型文法也称短语文法，1型文法也称上下文有关文法，2型文法也称上下文无关文法，2型文法的识别器模型是下推自动机。3型文法也称线性文法(或称正规文法)，其识别器模型是有限状态自动机。文法G1的所有产生式形式都是A→β，其中A∈VN，β∈V*，且第1条规则S→dAB是非线性的，因此文法G1属于2型文法，又称上下文无关文法。
第6题：
考虑下述文法，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)文法
解析：因为G2存在句子aa，该句子有两棵不同的语法树，所以文法G2是二义性文法。二义性文法不是LR文法，所以B、C、D不正确。选A。
第7题：
已知文法G2=(VT={a,b}，VN={S，A}，S,P)，其中P为， S→Sb｜Ab A→aSb｜ε 该文法生成的语言是(28)。
A．{ambn｜n＞m≥0}
B．{ambn｜m＞n≥0}
C．{ambn｜n≥m≥1}
D．{ambn｜m≥n≥1}
解析：根据文法G2的产生式A→aSb｜ε，用A的产生式推导出终结符号串，如果仅用A→ε，则产生{ε}；如果先用若干次A→aSb推导，再用A→ε，则推导过程如下：因此，由A生成的终结符号集合是{ambm｜m＞0}。从S出发使用产生式S→Sb｜Ab进行推导，或者。最后，L(G2)={ambm｜m0}连接{bk｜k＞0}={ambm+k｜m+k＞m0}={ambn｜n＞m0}。
第8题：
A.0型
B.1型
C.2型
D.3型
第9题：
文法G＝({E),{+,*,(,),a},P,E)，其中P由下列产生式组成E-＞E+E|E*E|(E)|a。它生成由a,+,*,(,)组成的算术表达式，该文法在乔姆斯基分层中属于(16)型文法，其对应的自动机是(17)，如产生句子a*a+a，它的派生树是(18)，且最左派生由(19)种，该文法是(20)。
A．0
B．1
C．2
D．3
解析：乔姆斯基定义了4种文法类型，他们之间的差别是按文法G=(V(下标)v,V(下标)T,P,S)中P所允许的产生式的形式加以区分的。如果P中的每个产生式形式如A-＞P，其中A为非终结符，P为9，则称此文法为2型文法或上下文无关文法。对应的语言称为上下文无关语言，对用的自动机称为下推自动机。题中的文法属于1型对应的下推自动机。产生句子a*a+a的派生树有两棵，如下：这是三叉树，最左派生有两种，他们是E=＞E+E=＞E*E+E＝＞a*E+E=＞a*a+E=＞a*a+aE＝＞E*E＝＞a*E=＞a*E+E=＞a*a+E＝＞a*a+a因此，该文法是二义的。
第10题：
已知文法G: S—A0|B1，A- S1|1, B-*S0|0,其中S是开始符号。从S出发可以推导出（12）。
A.所有由0构成的字符串
B.所有由1构成的字符串
C.某些0和1个数相等的字符串
D.所有0和1个数不同的字符串
对于文法可推导出的字符串分析，考试一般可对文法举例，然后总结规律。以本题文法为例，可以产生的字符串包括：（1）10推导过程：S-＞A0；A-＞1。（2）01推导过程：S-＞B1；B-＞0。（3）1010推导过程：S-＞A0；A-＞S1：S-＞A0,A-＞1。至此，可以了解到，选项A、B、D的描述都是不正确的。