东北大学秦皇岛分校编译原理课件-第六章.ppt

东北大学秦皇岛分校编译原理课件-第六章.ppt

  1. 1、本文档共30页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
* * * * * * * * * * * * * * * 第6章 自底向上优先分析法 * 自底向上分析法的基本思想及主要方法 自底向上分析法也称移进-归约法。 自底向上分析法的基本思想是:从待输入的符号串开始,利用文法的规则步步向上归约,试图归约到文法的识别符号。 从语法树的角度来看:自底向上分析的过程是以输入符号串作为末端结点符号串,向着根结点的方向往上构造语法树,使识别符号正好是该语法树的根结点。 自底向上分析法的关键在于:如何在每一步归约当中,找到当前句型的句柄,并判断句柄是否唯一。 主要的分析方法有:简单优先分析法、算符优先分析法、LR类分析法。 * 自底向上分析法中面临的问题及解决方法 采用自底向上分析法分析的每一步中,会遇到两个基本问题: (1)如何找出进行直接归约的简单短语? (2)找出的简单短语应直接归约到哪一个非终结符号? 解决方法:由于分析过程是从左往右扫描源程序,所以遇到的第一个简单短语正好是句柄,因此,第一个问题变为:如何找到句柄。对于如何找到句柄,找到句柄后应归约到哪一个非终结符号这两个问题,不同的自底向上分析法有不同的解决方法。 简单短语:只经过一次推导得到的短语叫简单短语; 句柄: 句型的最左简单短语。 * 自底向上分析法的基本实现方法 自底向上分析的基本实现方法是:移进-归约法。 引入“#”作为栈底标志符号。 在整个分析过程中,共有4类动作: (1)移入:读入下一个输入符号并把它下推进栈。 (2)归约:当栈顶的(部分)符号串形成一个句柄时,对此句柄进行归约,把形成句柄的符号串替换为相应的非终结符号。 (3)接受:当识别程序发现栈顶除了栈底标志符号#外仅有识别符号,而输入也以达到右端标志符号#时,便识别出输入符号串是一个句子,执行接受动作并结束本次识别。 (4)报错:发现输入符号串不是句子而无法继续识别。 * 自底向上优先分析法的基本思想 常见的自底向上的分析算法: (1)优先分析法 (2)LR类分析法 优先分析法分为: (1)简单优先分析法:采用规范归约,考虑所有文法符号(包括终结符号、非终结符号)之间的优先关系。 (2)算符优先分析法:不是规范归约,只考虑算符(即终结符号)之间的优先关系。 自底向上优先分析法的基本思想: 利用文法符号中相邻符号之间的优先关系找出句柄。 * 简单优先分析法及简单优先文法 简单优先分析法按照文法符号(终结符号和非终结符号)的优先关系确定句柄。 如何确定任意两个文法符号之间的优先关系? 如何构造优先关系表 * 补充内容 FIRST关系:U FIRST S?存在规则 U→S……(注:S可以是终结符号,也可以是非终结符号。) FIRST关系的传递闭包: FIRST+= FIRST ∪ FIRST2 ∪ FIRST3 ∪ …… LAST关系: U LAST S?存在规则 U→……S(注:S可以是终结符号,也可以是非终结符号。) LAST关系的传递闭包: LAST += LAST ∪ LAST 2 ∪ LAST 3 ∪ …… * 例:求文法G的FIRST关系和LAST关系 G[A]:A→Af|B B→Ddc|De C→e D→Bf ∵ A→Af A→B B→Ddc B→De C→e D→Bf ∴ A FIRST A A FIRST B B FIRST D B FIRST D C FIRST e D FIRST B FIRST={(A,A),(A,B),(B,D),(C,e),(D,B)} ∴ A LAST f A LAST B B LAST c B LAST e C LAST e D LAST f LAST={(A,f),(A,B),(B,c) ,(B,e) ,(C,e),(D,f)} * FIRST={(A,A),(A,B),(B,D),(C,e),(D,B)} FIRST2={(A,A),(A,B),(A,D),(B,B),(D,D)} FIRST3={(A,A),(A,B),(A,D),(B,D),(D,B)} FIRST4= FIRST2 ∴ FIRST+= FIRST∪ FIRST2∪ FIRST3 = {(A,A),(A,B),(A,

文档评论(0)

懒懒老巢 + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档