1. 文法 G（S）:
（1）S -> AB
（2）A ->Da|ε
（3）B -> cC
（4）C -> aADC |ε
（5）D -> b|ε
验证文法 G（S）是不是 LL（1）文法？
First(A)={b,a}
First(B)={c}
First(C)={a}
First(D)={b}
First(ε)={ε}
Follow(A)={c,b,a,#}
Follow(B)={#}
Follow(C)={#}
Follow(D)={a,#}
Select(A ->Da)=First(Da)={b,a}
Select(A ->ε)=First(ε)-{ε} U Follow(A)={c,b,a,#}
Select(A ->Da) ∩ Select(A ->ε)={b,a}≠∅
G（S）不是 LL（1）文法
2.(上次作业)消除左递归之后的表达式文法是否是LL(1)文法？
First(TE’)=First(T)={ ( , i }
First(T’)={ * , ε }
First(E’)={ + , ε }
First(+TE’)={+}
First(ε)={ε}
First(FT’)=First(F)={ ( , i }
First(*FT’)={*}
First((E))={ ( }
First(i)={ i }
Follow(E)={ ) , #}
Follow(E’)=Follow(E)={ ) , #}
Follow(T)=(First(E’)-{ε}) U Follow(E’)={ + , ) , #}
Follow(T’)=Follow(T)={ + , ) , #}
Follow(F)=(First(T’)-{ε}) U Follow(T’)={* , + , ) , #}
Select(E->TE') =First(TE’)=First(T)={ ( , i }
Select(E'->+TE') =First(+TE’)= { + }
Select(E'->ε) = (First(ε) -{ε}) U Follow(E') = { ) , # }
Select(T->FT') = First(FT’)=First(F)={ ( , i }
Select(T'->*FT') = First(*FT')={ * }
Select(T'->ε) = First(ε) -{ε} U 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 ) = Ø
是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 ");
exit(0);
}
}
void ParseE'(){
switch(lookahead){
case '+':
MatchToken('+');
ParseT();
ParseE'();
break;
case ')','#':
break;
default:
print("syntax error ");
exit(0);
}
}
void ParseT(){
switch(lookahead){
case '(','i':
ParseF();
ParseT'();
break;
default:
print("syntax error ");
exit(0);
}
}
void ParseT'(){
switch(lookahead){
case '*':
MatchToken('*');
ParseF();
ParseT'();
break;
case '+',')','#':
break;
default:
print("syntax error ");
exit(0);
}
}
void ParseF(){
switch(lookahead){
case '(':
MatchToken('(');
ParseE();
MatchToken(')');
break;
case 'i':
MatchToken('i');
break;
default:
print("syntax error ");
exit(0);
}
}
4.加上实验一的词法分析程序，形成可运行的语法分析程序，分析任意输入的符号串是不是合法的表达式。