在形式语言中,文法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[E]是LL(1)文法:
其中EEEF为非终结符。
构造文法G[E]的LL(1)分析表。
文法GIE]是LL(1)文法:
其中E,F,E',F'为非终结符。
对文法G[E]构造递归下降分析程序。
● 给定文法G[S]及其非终结符A,FIRST(A)定义为:从A出发能推导出的终结符号的集合(S 是文法的起始符号,为非终结符)。对于文法G[S]:
S→[L] | a
L→L, S| S
其中,G[S]包含的四个终结符号分别为:
a , [ ]
则FIRST(S)的成员包括 (48) 。
(48)
A. a
B. a、[
C. a、[和]
D. a、[、]和,
A.a
B.a、[
C.a、[和]
D.a、[、]和,
对文法G[S]:S→a|∧|(T);T→T,S|S:回答问题1~问题3。
对文法G进行改写,然后对每个非终结符写出不带回溯的递归子程序。
(1)构造下列文法G(P')的LR(1)FSM,验证它是LR(1)文法:
其中P',P,A为非终结符
(2)通过合并同芯集(状态)的方法构造相应于上述LR(1)FSM的LALR(1)FSM,并判断G(P)是否LALR(1)文法?
对下面的文法G:
E->TE'
E'->+E|ε
T->FT'
T'->T|ε
F->PF'
F'->*F'|ε
P->(E)|a|b|^
(1)计算这个文法的每个非终结符的FIRST集和FOLLOW集。(2)证明这个方法是LL(1)的。
●试题二
对文法G[S]:S→a|∧|(T);T→T,S|S;回答问题1~问题3。
【问题1】
对文法G进行改写,然后对每个非终结符写出不带回溯的递归子程序。
【问题2】
经改写后的文法是否是LL (1) 的?指出它的预测分析表中 (1) ~ (3) 处的内容。
【问题3】
说明输入串(a,a)是否为G的句子。