LL(1)文法的判断，递归下降分析程序

1. 文法 G（S）:

（1）S -> AB

（2）A ->Da|ε

（3）B -> cC

（4）C -> aADC |ε

（5）D -> b|ε

验证文法 G（S）是不是 LL（1）文法？

 

 

 

 

 

2.法消除左递归之后的表达式文法是否是LL(1)文法？

 

消除左递归：

 　　E -> E+T | T

     　　T -> T*F | F

     　　F -> (E) | i

消除左递归：

E->TE'

E'->+TE'|ε

T->FT'

T'->*FT'|ε

 F->(E) | i

 

FIRST集：

First（（E））={ ( }

First（i）={ i }

First（ε）={ε}

First（*FT'）={*}

First（FT'）={ (，i }

First（+TE'）={+}

First（TE'）={ (，i }

 

FOLLOW集：

Follow（E）={ ) }

Follow（E'）={#}

Follow（T）={+,ε}

Follow（T'）={#}

Follow（F）={ * ,ε}

 

SELECT集：

Select（E->TE'）=First（TE'）={ (，i }

Select（E'->+TE'）=First（+TE'）={+}

Select（E'->ε）=First（ε）-{ε} U Follow（E'）={#，）}

Select（T->FT'）=First（FT'）={ (，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()

 

 4.加上实验一的词法分析程序，形成可运行的语法分析程序，分析任意输入的符号串是不是合法的表达式。

 

3，4题不是很会写，希望能在后面的学习中不断巩固，回来的时候再写