LL文法的判断，递归下降分析程序
Posted jinwhy
tags:
篇首语：本文由小常识网(cha138.com)小编为大家整理，主要介绍了LL文法的判断，递归下降分析程序相关的知识，希望对你有一定的参考价值。
1. 文法 G（S）:
（1）S -> AB
（2）A ->Da|ε
（3）B -> cC
（4）C -> aADC |ε
（5）D -> b|ε
验证文法 G（S）是不是 LL（1）文法？
FIRST集：
FIRST(AB)={b, a,c }
FIRST(Da) = {b, a }
FIRST(?) = { ? }
FIRST(cC) = { c }
FIRST(aADC) = { a }
FIRST(b) = { b }
FOLLOW集：
FOLLOW(S) = { c,b,a }
FOLLOW(A) = { c,b,a , # }
FOLLOW(B)={ a,b,c}
FOLLOW(C) = { #}
FOLLOW(D) = { a , # }
SELECT集：
SELECT(A → Da) = {b, a }
SELECT(A→ ε) = {a,b,c, # }
因为SELECT(A→Da) ∩ SELECT(A→ ε)≠∅
所以表达式文法不是LL(1)文法
2.(上次作业)消除左递归之后的表达式文法是否是LL(1)文法？
E → TE‘
E‘ → +TE‘ | ?
T → FT‘ | ?
T‘ → *FT‘ | ?
F → (E) | i
SELECT集：
SELECT(E → +TE‘ ) = FIRST(+TE‘) ={ (,i }
SELECT(E‘ → +TE‘) = FIRST(+TE‘)={ + }
SELECT(E‘ → ε) = FIRST(ε) -{ε}U FOLLOW(E‘)=FOLLOW(E‘)={),# }
SELECT(T→FT‘)=FIRST(FT‘)={ (, i }
SELECT(T→*FT‘)=FIRST(*FT‘)={*}
SELECT(T‘ → ε) =FIRST(ε)-(ε)U FOLLOW(T‘)=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.加上实验一的词法分析程序，形成可运行的语法分析程序，分析任意输入的符号串是不是合法的表达式。
以上是关于LL文法的判断，递归下降分析程序的主要内容，如果未能解决你的问题，请参考以下文章