软考高级
在形式语言中，若文法G的产生式集P为：(1)Z→Bc(2)Z→Zc(3)B→Ab(4)B→Bb(5)A→Aa(6)A→a则文法G是(27)文法，识别G的自动机为(28)。对于G来说，(29)为文法G可接受的字符串，(30)为文法G不可接受的字符串。供选择的答案：A．短语B．上下文有关C．上下文无关D．正则
题目
在形式语言中，若文法G的产生式集P为：
(1)Z→Bc(2)Z→Zc(3)B→Ab(4)B→Bb(5)A→Aa(6)A→a
则文法G是(27)文法，识别G的自动机为(28)。对于G来说，(29)为文法G可接受的字符串，(30)为文法G不可接受的字符串。
供选择的答案：
A．短语
B．上下文有关
C．上下文无关
D．正则
参考答案和解析
相似问题和答案
第1题：
1、对于文法G[Z]，已知u是句型，则判断（）是正确的
A．只要使用规范推导，无论如何一定可以从Z推导出u
B．只要依据产生式进行归约，则u一定可以归约成Z
C．都是对的
D．都是错的
第2题：
2、对于一个文法若消除了左递归，提取了左公共因子后是否一定为LL（1)文法？试对下面文法进行改写，并对改写后的文法进行判断。 （1) A→baB|ε B→Abb|a （2) A→aABe|a B→Bb|d （3) S→Aa|b A→SB B→ab
第3题：
对下面文法，他的产生语言是G = （{S, A, B, C}, { a, b, c}, P, S) 其中P:{S→aBC | aSBC， CB→BC ， aB→ab， bB→bb， bC→bc， cC→cc }
A．L = {anbncn | n≥1}
B．L = {anbmcm|n,m≥1}
C．L = {anbmck|n,m,k≥1}
D．其他选项皆不正确
第4题：
已知文法G1=(VT={a,b,d}，VN={S，A，B}，S,P)，其中P为， S→dAB A→aA|a B→bB|ε 该文法生成的语言是(28)。
A．{dambn|m≥0，n≥O}
B．{dambn|m≥1，n≥0}
C．{dambn|m≥0，n≥1}
D．{dambn|m≥1，n≥1}
解析：已知文法G=(VT，VN，S，P)，它所产生的语言定义如下：若有S(11)w，则称w是文法G的一个句型。仅含终结符的句型是一个句子。语言L(G)是由文法G产生的所有句子组成的集合：L(G)={w|Sw且w∈VT*}推导的定义如下：设文法G=(VT，VN，S，P)，A→β∈P，γ，δ∈V*，则稀γAδ直接推导出γβδ，表示成这个定义告诉我们，若知道γAδ∈V*，根据A→β∈，可求出γβδ∈V*，方法是用A→β的右部β替换γAδ中的A得到γβδ；相反，若知道γβδ∈V*，根据A→β∈P，可求出γAδ∈V*，方法是用A→p的左部A替换γβδ中的β得到γAδ。若存在一个推导序列：，则称从a0经n步推导出an，表示成根据文法G1的第1条规则S→dAB知道，文法G1产生的句子的第1个字符是d，后跟着由A产生的终结字符串，再后边跟着由B产生的终结字符串。根据文法G1的第2条规则A→aA|a知道，由A产生的终结字符串是{am|m1}；根据B的规则B→bB|ε知道，由B产生的终结字符串是{bn|0}。因此，L(G1)={dambn|m1，n0}。
第5题：
在形式语言中，文法G是一个四元组G=(VN，Vr，P，Z)，其中VN为(6)。若文法C的产生式集P为：
(1)Z→Bc (2)Z→Zc (3)B→Ab (4)B→Bb (5)A→Aa (6)A→a
则文法G是(7)文法，识别G的自动机为(8)。对于G来说，(9)为文法G可接受的字符串，(10)为文法G不可接受的字符串。
供选择的答案：
A．状态标志符
B．开始符
C．语句集
D．非终结符集合
解析：形式语言首先于1956年由Chomsky进行描述。该理论讨论了语言与文法的数学理论，按照对文法规则的不同定义形式，对语言和文法进行了分类。一般来说，Chomsky文法是一个四元组G=(VN，Vr，P，Z)，其中VN为非终结符集合，Vr为由终结符组成的字母表集合，P是有穷非空的重写规则集合，Z是识别符号。文法G对应的语言是能从该文法的识别符号产生的那些终结符号串(句子)组成的集合。简单来说，对于文法的分类分为4类：0型文法也称短语结构文法可以由图灵机识别。1型文法也称上下文有关文法，可以由线性界限自动机识别。2型文法也称上下文无关文法，可以由下谁自动机识别。3型文法也称正则文法可以由有穷状态自动机识别。具体的文法定义可以参照编译原理中的相关概念。某种文法可以接受的句子经过简单推理即可。
第6题：
为下列文法选择最准确的答案：
文法G[S]属于(52)：
S→CD Ab→bA
C→aCA Ba→aB
C→bCB Bb→bB
AD→aD C→ε
BD→bD D→ε
Aa→bD
L(G)={ww|w∈{a，b}*}
文法G[P]属于(53)：
P→0A|1B|0
A→A|1B|OP
B→1B|1|0
文法G[I]属于(54)：
I→IT
I→1
T→IT
T→dT
T→1
T→d
其中，1表示a～z中的任意一个英文字母，d表示0～9中的任意一个数字。
A．1型(上下文有关)文法
B．1型(上下文无关)文法
C．定义标识符的3型(正规)文法
D．0型文法
第7题：
已知文法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型文法，又称上下文无关文法。
第8题：
考虑下述文法，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。
第9题：
●为下列文法选择最准确的答案：
文法G[S]属于 (52) ：
S→CD Ab→bA
C→aCABa→aB
C→bCBBb→bB
AD→aDC→ε
BD→bDD→ε
Aa→bD
L(G)={ww｜w∈{a，b｝*}
文法G[P]属于 (53) ：
P→0A｜1B｜0
A→0A｜1B｜0P
B→1B｜1｜0
文法G[I]属于 (54) ：
I → lT
I → l
T → lT
T → dT
T → l
T → d
其中，l表示a～z中的任意一个英文字母，d表示0～9中的任意一个数字。
(52) ～(54) A．1型(上下文有关)文法
B．2型(上下文无关)文法
C．定义标识符的3型(正规)文法
D．0型文法
【解析】本题考查4种文法的定义。需要注意的是，4个文法类的定义是逐渐增加限制的，因此每一种正规文法都是上下文无关的，每一种上下文无关文法都是上下文有关的，而每一种上下文有关文法都是0型文法。称0型文法产生的语言为0型语言。上下文有关文法、上下文无关文法和正规文法产生的语言分别称为上下文有关语言、上下文无关语言和正规语言。