《编译原理实践及应用》PPT教学课件-第4章(1) 自下而上语法分析.ppt

《编译原理实践及应用》PPT教学课件-第4章(1) 自下而上语法分析.ppt

  1. 1、本文档共74页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第四章(1) 自上而下语法分析方法 本节要求 主要内容: 1. 语法分析的任务和设计 2. 自上而下语法分析方法及其相关概念 重点掌握: 1. 语法分析的任务和接口 2. 自顶向下语法分析面临的问题及解决方法 3. LL(1)文法的判定及分析表的构造 5. 能够使用递归下降分析方法和预测分析方法实现语法分析器,并对给定的输入串进行分析 高级语言的语法结构适合用上下文无关文法来描述,上下文无关文法是语法分析的基础。 语法分析是编译过程的核心,其任务是在词法分析识别出正确的单词符号串的基础上,分析并判定输入的符号串的语法结构是否符合语法规则。 4.1 语法分析概述 问题: 在上一章词法分析中讲解了如何判断源程序中单词的正确性,并输出了正确的单词符号。那么如何知道这些正确的单词是否能构成正确的语法单位(表达式、语句或程序)呢? 语法分析的任务 在词法分析识别出正确的单词符号串的基础上,分析并判定这些输入符号串是否符合语法规则(即,是否是给定文法的一个句子)。 语法分析在编译系统中所处的位置 4.2 语法分析的接口设计 语法分析器的功能 按照语言的语法构成规则, 识别输入符号串能否构成一个句子。这些规则是用文法的产生式来定义的。 问题 对给定的一个输入符号串,如何判定它是不是一个句子? 方法 根据文法的产生式规则,看能否建立与输入串匹配的语法树。(第二章使用“推导”) 例:判定输入串(i+i)*i是否是下述文法的句子? G = ({E}, {i, +, *, (, ) } , P , E) P: E ? E + E E ? E * E E ? ( E ) E ? i 4.2 自上而下语法分析面临的问题及其解决方法 自上而下分析:对任何输入串,试图用一切可能的办法,从文法的开始符号出发,自上而下地为输入串建立一个语法树。 从推导的角度看,从开始符号出发,使用最左推导,试图推导出与输入符号串相同的句子。 从语法树的角度看,从根节点出发,反复使用所有可能的产生式,谋求输入串的匹配,试图向下构造一棵语法树,其末端节点正好与输入符号串相同。 需要反复试探。 问题1:回溯 问题2:左递归 左递归:文法中存在某个A?Vn,有A A?。 直接左递归:有产生式A ? A? 间接左递归: 结论 1. 左递归和回溯问题的产生直接与描述语言的文法有关 2. 应该改造文法,使其不含左递归和回溯,才能进行确定的自顶向下分析 问题的解决方法 消除左递归 消除回溯 消除左递归 一般而言,若产生式形式为: A→Aα1|Aα2|…|Aαn|β1|β2|…|βm 将其替换为: 练 习 消去文法G[S]的左递归 2. 间接左递归的消除方法 例:给定间接左递归文法,请消除左递归 消除回溯 方法是:反复 “提取公共左因子”,使得文法的每个非终结符号的各个候选式的首终结符集两两不相交,来避免回溯。 例3:有如下两个产生式: IF语句 ? if E then S1 else S2 IF语句 ? if E then S1 练习 提取下述文法的左因子 问题: 如果希望没有回溯,对文法有什么要求? 回溯产生的真正原因是:某非终结符对应多个侯选式,它们右部的第一个终结符相同,从而导致语法分析器选择了错误的侯选式。 如果希望没有回溯,对文法有什么要求? 侯选式的首终结符集的定义 S?Ap S?Bq A?a A?cA B?b B?dB 在右边给定的文法中,A的候选式有两个,其首终结符集为: First(A1) = {*} First(A2) = {*} 相交,就会产生回溯 因此,不产生回溯的条件就是: 对非终结符A的任意两个不同的侯选式ai 和aj ,都有: First(ai)∩ First(aj) = φ 当要求用A进行匹配时,就能根据所面临的输入字符,准确地选取一个A的侯选式。 非终结符A的首终结符集的定义 即,由该非终结符推导出的所有符号串中的第一个终结符的集合。 S?Ap S?Bq A?a A?cA B?b B?dB 求非终结符A的First集的算法 求某一非终结符A的首终结符集First(A)的算法为: 1.若有产生式A?aα,a∈VT,把a加到First(A)中; 2.若有产生式A?ε, 把ε加到First(A)中; 3.若有产生式A?Xα,X∈VN,把First(X)中非ε元素加到First(A)中; 4.若有产生式A?X1X2X3...Xkα,其中X1X2...Xk∈VN。则 当X1X2X3...Xi =ε(1≤i≤k)

文档评论(0)

***** + 关注
实名认证
内容提供者

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

1亿VIP精品文档

相关文档