LL文法的判断,递归下降分析程序

Posted sebr7

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)=First(Da)={b,a}

Select(A ->ε)=Follow(A)={c,b,a,#}

Select(C -> aADC)=First(aADC)={a}

Select(C -> ε)=Follow(C)={#}

Select(D -> b)=First(b)={b}

Select(D -> ε)=Follow(D)={a,#}

Select(A ->Da)∩ Select(A ->ε)≠ Φ

所以文法G(S)不是LL(1)文法

2.(上次作业)消除左递归之后的表达式文法是否是LL(1)文法?

 

消除左递归后:

E→TE‘

E‘→+TE‘|ε

T→FT‘

T‘→*FT‘|ε

F→(E)|i

FIRST集:

FIRST(E)→FIRST(T)→FIRST(F)→{ ( , i }

FIRST(E‘)→{+,ε}

FIRST(T)→FIRST(F)→{ ( , i }

FIRST(T‘)→{*,ε}

FIRST(F)→{ ( , i }

FOLLOW集:

FOLLOW(E)→{ ) , #  }

FOLLOW(E‘)→{ ) , # }

FOLLOW(T)→{ + , ) , # }

FOLLOW(T‘)→{ + , ) , # }

FOLLOW(F)→{ * , + , ) , # }

SELECT集:

SELECT(E→TE‘)={ ( , i }

SELECT(E‘→+TE‘)={+}

SELECT(E‘→ε)={),#}

SELECT(T→FT‘)={ ( , i }

SELECT(T‘→*FT‘)={*}

SELECT(T‘→ε)={+,),#}

SELECT(F→(E))={(}

SELECT(F→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.加上实验一的词法分析程序,形成可运行的语法分析程序,分析任意输入的符号串是不是合法的表达式。

以上是关于LL文法的判断,递归下降分析程序的主要内容,如果未能解决你的问题,请参考以下文章

LL文法的判断,递归下降分析程序

LL文法的判断,递归下降分析程序

LL文法的判断,递归下降分析程序

LL文法的判断,递归下降分析程序

LL文法的判断,递归下降分析程序

LL文法的判断,递归下降分析程序