一、文法 G（S）:
（1）S -> AB
（2）A ->Da|ε
（3）B -> cC
（4）C -> aADC |ε
（5）D -> b|ε
驗證文法 G（S）是不是 LL（1）文法。
FIRST集：
FIRST（Da）={b,a}
FIRST（ε）={ε}
FIRST（aADC）={a}
FIRST（b）={b}
FOLLOW集：
FOLLOW(A)=FIRST(B)+FIRST(B)+FIRST(B)+FOLLOW(C)={c,a,b,#}
FOLLOW(C)={#}
FOLLOW(D)={a,#}
SELECT集：
SELECT(A->Da)={b,a}
SELECT(A->ε)={c,b,a,#}
SELECT(C->aADC)={a}
SELECT(C->ε)={#}
SELECT(D->b)={b}
SELECT(D->ε)={a,#}
因為：
SELECT(A->Da)∩SELECT(A->ε)≠∅
所以此文法不為LL(1)文法。
二、文法消除左遞歸之后的表達式文法是否是LL(1)文法？
是。
三、接2，如果是LL(1)文法，寫出它的遞歸下降語法分析程序代碼。
void ParseE()｛
ParseT();
ParseE'();
}
void ParseT() {
ParseF();
ParseT'();
}
void ParseE'() {
switch(lookahead):
case +:
MatchToken(+);
ParseT();
ParseE'();
break;
case #:
break;
case ):
break;
default:
printf('synax error!\n');
exit(0);
}
void ParseF() {
switch(lookahead):
case (:
MatchToken(()；
ParseE()；
MatchToken())；
break;
case i:
MatchToken(i);
break;
default:
printf('synax error!\n');
exit(0);
}
void ParseT'()
{
switch(lookahead):
case *:
ParseF();
MatchToken(*);
ParseT'();
break;
case #:
break;
case ):
break;
case +:
break;
default:
printf('synax error!\n');
exit(0);
}