标签:因此 cup 运行 eps 符号 程序代码 输入 select 代码
1. 文法 G(S):
(1)S -> AB
(2)A ->Da|ε
(3)B -> cC
(4)C -> aADC |ε
(5)D -> b|ε
验证文法 G(S)是不是 LL(1)文法?
First(Da)={b,a} First(ε)={ε} First(aADC)={a} First(b)={b}
Follow(A)={c,b,a,#} Follow(C)={#} Follow(D)={a,#}
SELECT(A->Da)={b,a} SELECT(A->ε)={c,b,a,#} SELECT(C->aADC)={a}
select(C->ε)={#} select(D->b)={b} select(D->c)={a,#}
SELECT(A->Da)交SELECT(A->ε)!=∅
因此G(S)不是LL(1)文法。
2.法消除左递归之后的表达式文法是否是LL(1)文法?
G(s)消除左递归后文法G‘(s):
E -> TE‘
E‘ -> +TE‘|ε
T -> FT‘
T‘ -> *FT‘|ε
F -> (E) | i
Select(E‘ -> +TE‘) = First(+TE‘) = {+}
Select(E‘ -> ε) = (First(ε)-{ε})∪Follow(E‘) = {),ε}
Select(T‘ -> *FT‘) = First(*FT‘) = {*}
Select(T‘ -> ε) = (First(ε)-{ε})∪Follow(T‘) = {ε,+,)}
Select(F -> (E)) = First((E)) = {(}
Select(F -> i ) = First(i) = {i}
∵Select(E‘ -> +TE‘) ∩ Select(E‘ -> ε) = ∅
Select(T‘ -> *FT‘) ∩ Select(T‘ -> ε) = ∅
Select(F -> (E)) ∩ Select(F -> i ) = ∅
∴ 文法G‘(s)是LL(1)文法。
3.接2,如果是LL(1)文法,写出它的递归下降语法分析程序代码。
E()
{T();
E‘();
}
E‘()
T()
T‘()
F()
4.加上实验一的词法分析程序,形成可运行的语法分析程序,分析任意输入的符号串是不是合法的表达式。
标签:因此 cup 运行 eps 符号 程序代码 输入 select 代码
原文地址:https://www.cnblogs.com/maoweizhao/p/11908447.html