1. 文法 G(S):
(1)S -> AB
(2)A ->Da|ε
(3)B -> cC
(4)C -> aADC |ε
(5)D -> b|ε
验证文法 G(S)是不是 LL(1)文法?
选择有两种情况的考虑,一种情况的不用考虑
SELECT( A -> Da) = FIRST(Da) = { b, a }
SELECT( A -> ε) = FOLLOW( A) = { c, b, a, # }
SELECT( C -> aADC) = FIRST( aADC) = { a }
SELECT( C -> ε) = FOLLOW(C) = { # }
SELECT( D -> b) = FIRST(b) = { b }
SELECT( D -> ε ) =FOLLOW(D) = { a, # }
∵ SELECT( A -> Da) ∩ SELECT( A -> ε) = { a } ≠ ∅
∴ 文法G(S)不是 LL(1)文法
2.(上次作业)消除左递归之后的表达式文法是否是LL(1)文法?
3.接2,如果是LL(1)文法,写出它的递归下降语法分析程序代码。
E()
{T();
E'();
}
E'()
T()
T'()
F()
4.加上实验一的词法分析程序,形成可运行的语法分析程序,分析任意输入的符号串是不是合法的表达式。