文法 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->ε)!=空
SELECT(C->aADC)交SELECT(C->ε)=空
SELECT(D->b)交SELECT(D->ε)=空
所以G(S)不是LL（1）文法。
2.法消除左递归之后的表达式文法是否是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->ε)!=∅
SELECT(C->aADC)交SELECT(C->ε)=∅
SELECT(D->b)交SELECT(D->ε)=∅
因为文法的交集为空
所以G(S)不是LL（1）文法。
3.接2，如果是LL(1)文法，写出它的递归下降语法分析程序代码。
E()
｛T();
E'();
}
E'()
T()
T'()
F()
解：
void ParseE(){
switch(lookahead){
case (,i:
ParseT();
ParseE'();
break;
default:
print("syntax error \n");
exit(0);
}
}
void ParseE'(){
switch(lookahead){
case +:
MatchToken(+);
ParseT();
ParseE'();
break;
case ),#:
break;
default:
print("syntax error \n");
exit(0);
}
}
void ParseT(){
switch(lookahead){
case (,i:
ParseF();
ParseT'();
break;
default:
print("syntax error \n");
exit(0);
}
}
void ParseT'(){
switch(lookahead){
case *:
MatchToken(*);
ParseF();
ParseT'();
break;
case +,),#:
break;
default:
print("syntax error \n");
exit(0);
}
}
void ParseF(){
switch(lookahead){
case (:
MatchToken(();
ParseE();
MatchToken());
break;
case i:
MatchToken(i);
break;
default:
print("syntax error \n");
exit(0);
}
}
4.加上实验一的词法分析程序，形成可运行的语法分析程序，分析任意输入的符号串是不是合法的表达式。
这题太难了，过了。