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

Posted fzwboke

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

FIRST(?) = { ? }

FIRST(aADC) = { a }

FIRST(b) = { b }

FOLLOW集:

FOLLOW(A) = { c,b,a , # }

FOLLOW(B)

FOLLOW(D),FIRST(C) ,FOLLOW(C) 

FOLLOW(C) = { #}

FOLLOW(D) = { a , # }

SELECT集:

SELECT(A → Da) = {b, a }

SELECT(A→ ε) = {c,b,a , # }

SELECT(A→Da) ∩ SELECT(A→ ε)≠∅

表达式文法不是LL(1)文法

 

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

E → TE‘

E‘ → +TE‘ | ?

T → FT‘ | ?

T‘ → *FT‘ | ?

F → (E) | i

答:

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

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

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

SELECT(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)文法,写出它的递归下降语法分析程序代码。

 

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

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

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

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

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

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

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

SELECT(F → i) = FIRST(i) ={ i }

 

E()

    {T();

       E‘();

     }

E‘()

T()

T‘()

F()

 

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

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

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

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

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

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

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

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