LL文法的判断，递归下降分析程序
Posted a132
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）文法？
解：
SELECT(A→Da)={b,a}
SELECT(A→ε)={c,b,a,#}
SELECT(A→Da)?SELECT(A→ε)≠Ø
所以文法 G（S）不是 LL（1）文法。
2.(上次作业)消除左递归之后的表达式文法是否是LL(1)文法？
解：
SELECT(E’→+TE’)=FIRST(+TE’)={+}
SELECT(E’→ε)=FOLLOW(E’)=FOLLOW(E)={#,)}
SELECT(E’→+TE’)?SELECT(E’→ε)=Ø
SELECT(T’→*FT’)=FIRST(*FT’)={*}
SELECT(T’→ε)=FOLLOW(T’)=FOLLOW(T)=(FIRST(E’)-{ε})UFOLLOW(E’)={#,),+})
SELECT(T’→*FT’)?SELECT(T’→ε)=Ø
SELECT(F→(E))=FIRST((E))={(}
SELECT(F→i)=FIRST(i)={i}
SELECT(F→(E))?SELECT(F→i)=Ø
所以消除左递归之后的表达式文法是LL(1)文法。
3.接2，如果是LL(1)文法，写出它的递归下降语法分析程序代码。
E()
｛T();
E‘();
}
E‘()
T()
T‘()
F()
解：
SELECT(E→TE’)=FIRST(TE’)=FIRST(T)=FIRST(F)U{*}={(，i，*}
SELECT(E’→+TE’)=FIRST(+TE’)={+}
SELECT(E’→ε)=FOLLOW(E’)=FOLLOW(E)={#，)}
SELECT(T→FT’)=FIRST(FT’)=FIRST(F)={(，i}
SELECT(T’→*FT’)=FIRST(*FT’)={*}
SELECT(T’→ε)=FOLLOW(T’)=FOLLOW(T)={#，)，+}
SELECT(F→(E))=FIRST((E))={(}
SELECT(F→i)=FIRST(i)={i}
void ParseE()
{
switch(lookhead)
{
case ‘(‘,’i’,’*’:
ParseT();
ParseE’();
break;
default:
printf(“syntax error ”)
exit(0);
}
}
void ParseE’()
{
switch(lookhead)
{
case ‘+’:
ParseE’();
ParseT();
MathToken(+);
break;
case ’#’,’)’:
break;
default:
printf(“syntax error ”);
exit(0);
}
}
void ParseT()
{
switch(lookhead)
{
case ‘(‘,’i’:
ParseF();
ParseT’();
break;
default:
printf(“syntax error ”);
exit(0);
}
}
void parseT’()
{
if(lookhead==*)
{
MathToken(‘ * ’);
ParseF();
ParseT’();
}
else if(lookhead==#,),+){
}
else{
printf(“syntax error ”);
exit(0);
}
}
void ParseF()
{
if(lookhead==()
{
MathToken(’ ( ‘);
ParseE();
Parse)();
}
else if(lookhead==i){
MathToken(i);
}
else{
printf(“syntax error ”);
exit(0);
}
}
4.加上实验一的词法分析程序，形成可运行的语法分析程序，分析任意输入的符号串是不是合法的表达式。
以上是关于LL文法的判断，递归下降分析程序的主要内容，如果未能解决你的问题，请参考以下文章