码迷,mamicode.com
首页 > 其他好文 > 详细

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

时间:2019-11-21 21:26:30      阅读:89      评论:0      收藏:0      [点我收藏+]

标签:因此   cup   运行   eps   符号   程序代码   输入   select   代码   

1. 文法 G(S):

(1)S -> AB

(2)A ->Da|ε

(3)B -> cC

(4)C -> aADC |ε

(5)D -> b|ε

验证文法 G(S)是不是 LL(1)文法?

First(Da)={b,a}  First(ε)={ε}  First(aADC)={a}  First(b)={b}

Follow(A)={c,b,a,#}  Follow(C)={#}  Follow(D)={a,#}

SELECT(A->Da)={b,a}  SELECT(A->ε)={c,b,a,#}  SELECT(C->aADC)={a}  

select(C->ε)={#}  select(D->b)={b}  select(D->c)={a,#}

SELECT(A->Da)交SELECT(A->ε)!=∅

因此G(S)不是LL(1)文法。

 

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

G(s)消除左递归后文法G‘(s):

  E -> TE‘  

  E‘ -> +TE‘|ε

  T -> FT‘

  T‘ -> *FT‘|ε

  F -> (E) | i

 

Select(E‘ -> +TE‘) = First(+TE‘) = {+}

Select(E‘ -> ε) = (First(ε)-{ε})∪Follow(E‘) = {),ε}

Select(T‘ -> *FT‘) = First(*FT‘) = {*}

Select(T‘ -> ε) = (First(ε)-{ε})∪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 ) = ∅

∴ 文法G‘(s)是LL(1)文法。

 

3.接2,如果是LL(1)文法,写出它的递归下降语法分析程序代码。

E()

    {T();

       E‘();

     }

E‘()

T()

T‘()

F()

 

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

 

 

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

标签:因此   cup   运行   eps   符号   程序代码   输入   select   代码   

原文地址:https://www.cnblogs.com/maoweizhao/p/11908447.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!