编译原理-第五章

总结:

一.移进规约

1.基本思想用一个寄存符号的先进后出栈,把输入符号一个一个地移进到栈里,当栈顶形成某个产生式的候选式时,即把栈顶的这一部分替换成(归约为)该产生式的左部符号。

2.规约

是指根据文法的产生式规则,把产生式的右部替换成左部符号。

二.规范规约

1.短语

2.直接短语

3.句柄

三.修建语法树

(1)子树:是由该树的某个结点(子树的根)连同它的所有子孙组成。

 (2)简单子树:只有单层分支的子树(只有父子两代没有第三代)

(3) 对语法树有如下结论

 ①每个句型都有一棵语法树与之对应
 ②每棵语法树的叶结点自左至右排列就组成一个句型
 ③每棵子树的叶结点自左至右排列就组成一个短语
 ④每棵简单子树的叶结点自左至右排列就组成一个直接短语
 ⑤每棵最左简单子树的叶结点自左至右排列就组成一个句柄


四.LR分析法

1.LR分析器

LR(0)分析表的构造
项目、项目集、项目集规范族
项目集的闭包(closure)
有效项目
SLR分析表的构造
有效项目
规范LR分析表的构造
LALR(look ahead )分析表的构造

LR分析方法是一种自下而上的分析方法

LR分析法的归约过程是规范推导的逆过程,所以LR分析过程是一种规范归约过程
LR分析方法是一种适用于一大类上下文无关文法的分析方法
比较复杂,不适于用手工实现,可借助于YACC/bison实现。

2.LR文法

一个文法,如果能构造出一个所有条目都唯一的分析表。

LR(k)文法
 最多向前看K个的符号就可以决定动作的LR分析器所分析的文法成为LR(k)文法。

我们最感兴趣的是k=0,1

3.活前缀

活前缀特点:

该前缀加上被分析串中未被分析的终结符,就可以构成一个规范句型

只要输入串的已扫描部分可归约成一个活前缀,意味着扫描过的部分没有错误

活前缀与句柄间的关系

(1)活前缀中已含有句柄的全部符号(句柄的符号即为其最右符号)。

(2)活前缀中含句柄的一部分符号(句柄开头的 若干符号与活前缀最右的若干个符号一致)。
(3)活前缀中全然不包含句柄的任何符号 。

活前缀的识别与LR分析表构造

LR分析表的构造需要构造识别活前缀的有限自动机,

用有限自动机中的状态表示分析表中的状态,
用状态图中的状态之间的转换关系对分析表中的action goto函数等进行定义。

构造识别活前缀的NFA

1、构造文法的所有产生式的项目,每个项目都为NFA的一个状态。

  2、确定初态、句柄识别态、句子识别态。
 由于S′(起始符)仅在第一产生式的左部出现 ,因此规定起始符相关的项目1为初态 
 其余每个状态都为活前缀的识别态(终态)
 圆点在最后的项目为句柄识别态 
 第一个产生式的句柄识别态为句子识别态 。

六.LR(0)项目集规范族构造

构成识别一个文法活前缀的DFA项目集(状态)的全体称为这个文法的LR(0)项目集规

 NFA确定化为DFA的工作量较大,我们考虑直接构造出项目集作为DFA的状态,就可直接构造DFA。
  通过闭包函数(CLOSURE)来求DFA一个状态的项目集。


习题:


感受:这一章是自下而上分析,学习了规约,算符优先分析,LR分析法等内容。自下而上分析法是一种移进规约法。用一个寄存符号的先进后出栈,把输入符号一个一个的
移进到栈中,当栈顶形成某个产生式的一个候选式时,即把栈顶的一部分替换成该产生式的左部符号。比起前面,这一章更加的繁琐,也让我对这门课程有了更深的了解。



  • 0
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值