在形式语言中,若文法G的产生式集P为:(1)Z→Bc(2)Z→Zc(3)B→Ab(4)B→Bb(5)A→Aa(6)A→a则文法G是(27)文
在形式语言中,若文法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.正则
在形式语言中,文法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.非终结符集合
文法G=(VT,VN,P,S)的类型由C中的(32)决定。若GO=({a,b},{S,X,Y},P,S),P中的产生式及其序号如下:
1:S→XaaY
2:X→Dqb
3:Y→XbXla
则GO为(33)型文法,对应于(34),由GO推导出句子aaaaa和baabbb时,所用产生式序号组成的序列分别为(35)和(36)。
A.VT
B.VN
C.P
D.S
●文法G=(VT,VN,P,S)的类型由G中的 (32) 决定。若G0=({a,b},{S,X,Y},P,S),P中的产生式及其序号如下:
1:S→XaaY
2:X→YYlb
3:Y→XbXla
则G0为 (33) 型文法,对应于 (34) ,由G0推导出句子aaaaa和baabbb时,所用产生式序号组成的序列分别为 (35) 和 (36) 。
(32) A.VT
B.VN
C.P
D.S
(33) A.0
B.1
C.2
D.3
(34) A.图灵机
B.下推自动机
C.有限状态自动机
D.其他自动机
(35),(36) A.13133
B.12312
C.12322
D.12333
●文法G=({E},{+,*,(,),a},P,E),其中P由下列产生式组成E->E+E|E*E|(E)|a。它生成由a,+,*,(,)组成的算术表达式,该文法在乔姆斯基分层中属于 (33) 型文法,其对应的自动机是 (34) ,如产生句子a*a+a,它的派生树是 (35) ,且最左派生由 (36) 种,该文法是 (37) 。
(33) A.0
B.1
C.2
D.3
(34) A.下推自动机
B.线性有界自动机
C.图灵机
D.有穷状态自动机
(35) A.二叉树
B.完全有界自动机
C.三叉树
D.四叉树
(36) A.0
B.1
C.2
D.3
(37) A.非二义性
B.二义性
C.单一性
D.多义性
(1)构造下列文法G(P')的LR(1)FSM,验证它是LR(1)文法:
其中P',P,A为非终结符
(2)通过合并同芯集(状态)的方法构造相应于上述LR(1)FSM的LALR(1)FSM,并判断G(P)是否LALR(1)文法?
A.从S出发推导出的包含尸中所有符号的串
B.从S出发推导出的仅包含厂中符号的串
C.N中所有符号组成的串
D.T中所有符号组成的串
算符优先文法不是指(29)的文法。
A.没有形如U→...VW...的产生式(U,V,W为VN)
B.终结符号集VT中任意两个符号对之间至多有一种优先关系成立
C.没有相同的规则右部
D.没有形如U→ε的产生式
一个文法G是岐义性(又称二义性)文法的含义是(28)。
A.文法G中有多余的产生式
B.在L(G)中至少存在一个句子,它的语义有多于一种解释
C.在L(G)中至少存在一个句型,它有两个不同的最左推导
D.在L(G)中至少存在一个句子,它有两个不同的最左推导或最右推导
A.从s出发推导的、仅包含T中符号的符号串
B.从N中符号出发推导的、仅包含T中符号的符号串
C.从S出发推导的、包含V中符号的符号串
D.从N中符号出发推导的、包含V中符号的符号串