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

LL(1)文法分析表的构造和分析过程示例

时间:2017-05-01 22:17:27      阅读:884      评论:0      收藏:0      [点我收藏+]

标签:eps   知识   jpg   开始   erro   步骤   img   lan   log   



在考完编译原理之后才弄懂,悲哀啊。不过懂了就好,知识吗,不能局限于考试。



文法:

E→TE‘

E‘→+TE‘|ε

T→FT ‘

T‘→*FT‘|ε

F→id| (E)

一、首先判断是不是 LL(1)文法

--------------------------------------------------------------------------------------------------------

文法G的任意两个具有相同左部的产生式 A --> α|β 满足下列条件:

1、如果α和β不能同时推导出ε,则 FIRST(α)∩FIRST(β) = 空

2、 α和β 至多有一个能推导出 ε

3、如果 β --*--> ε ,则 FIRST(α)∩ FOLLOW(A)= 空 

--------------------------------------------------------------------------------------------------------

对于 E‘→+TE‘|ε  ,显然ε --> ε, First(+TE‘) = {+}  ,Follow(E‘) = {{),#}  显然二者交集为空满足。

对于 F→id|(E)   ,First(id) = {id}   First((E)) = {(}    显然二者交集为空满足。

所以该文法是LL(1)文法。

二、计算出First集和Follow集

参考:http://www.cnblogs.com/standby/p/6792774.html

三、构建LL(1)分析表

输入:文法G

输出:分析表M

步骤:

1、对G中任意一个产生式 A --> α 执行第2步和第3步

2、for  任意a ∈ First(α),将 A --> α 填入M[A,a]

3、if ε ∈ First(α)  then 任意a ∈ Follow(A),将 A --> α 填入M[A,a]

      if ε ∈ First(α) &  # ∈Follow(A), then 将 A --> α 填入M[A,#]         (觉得这步没用)

4、将所有没有定义的M[A,b] 标上出错标志   (留空也可以)

--------------------------------------------------------------------------------------------------------

过程就不赘述了,结果:

技术分享

 

四、分析过程

步骤:

1、如果 X = a = #     则分析成功并停机

2、如果 X = a != #      则弹出栈顶符号X, 并将输入指针移到下一个符号上

3、如果 X != a,查询分析表M[X,a] , 如果 M[X,a] = {X --> UVW},

则用UVW (U在栈顶) 替换栈顶符号 X。如果 M[X,a] = error或空,

则分析器调用错误处理程序。

(只有在第2种条件下才将输入指针移动!!!)

 

根据上表,对输入串 “id + id * id” 进行预测分析过程如下:

最开始在栈里压入 # 和 开始符号 E

技术分享

LL(1)文法分析表的构造和分析过程示例

标签:eps   知识   jpg   开始   erro   步骤   img   lan   log   

原文地址:http://www.cnblogs.com/standby/p/6792814.html

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