- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第1页/共174页第五章 语法分析——自下而上分析自上而下分析法(Top-down)自下而上分析法(Bottom-up)第一页,编辑于星期三:十五点 三十八分。第2页/共174页语法分析的方法:自下而上分析法(Bottom-up)自上而下分析法(Top-down)基本思想:它从文法的开始符号出发,反复使用各种产生式,寻找匹配的推导。递归下降分析法:对每一语法变量(非终结符)构造一个相应的子程序,每个子程序识别一定的语法单位,通过子程序间的信息反馈和联合作用实现对输入串的识别。预测分析程序优点:直观、简单和宜于手工实现。第二页,编辑于星期三:十五点 三十八分。第3页/共174页语法分析的方法:自下而上分析法(Bottom-up)基本思想:从输入串开始,逐步进行“归约”,直到文法的开始符号。即从树末端开始,构造语法树。所谓归约,是指根据文法的产生式规则,把产生式的右部替换成左部符号。算符优先分析法:按照算符的优先关系和结合性质进行语法分析。适合分析表达式。LR分析法:规范归约第三页,编辑于星期三:十五点 三十八分。第4页/共174页EEEEEG(E): E ? i| E+E | E-E | E*E | E/E | (E) i*i+i E*i+i E*E+i E+i E+E E+*iii第四页,编辑于星期三:十五点 三十八分。第5页/共174页采用“移进-归约”思想进行自下而上分析。基本思想:用一个寄存符号的先进后出栈,把输入符号一个一个地移进到栈里,当栈顶形成某个产生式的候选式时,即把栈顶的这一部分替换成(归约为)该产生式的左部符号。第五页,编辑于星期三:十五点 三十八分。第6页/共174页cAabaeBcAadcAabAaAaaAaSBcAa bbcde e bcde de bcde cdeabbcde cde e例:设文法G(S): (1) S ? aAcBe (2) A ? b (3) A ? Ab (4) B ? d试对abbcde进行“移进-归约”分析。第六页,编辑于星期三:十五点 三十八分。第7页/共174页第七页,编辑于星期三:十五点 三十八分。第8页/共174页SABAacebdb分析树和语法树不一定一致。自下而上分析过程:边输入单词符号,边归约。核心问题:识别可归约串第八页,编辑于星期三:十五点 三十八分。第9页/共174页5.1.2 规范归约定义:令G是一个文法,S是文法的开始符号,假定???是文法G的一个句型,如果有 且 则?称是句型???相对于非终结符A的短语。特别是,如果有A??,则称?是句型???相对于规则A? ?的直接短语。一个句型的最左直接短语称为该句型的句柄。第九页,编辑于星期三:十五点 三十八分。第10页/共174页考虑文法G(E): E ? T | E+T T ? F | T*F F ? (E) | i和句型i1*i2+i3:E ? E+T ? E+F ? E+i3 ? T+i3 ? T*F+i3 ? T*i2+i3 ? F*i2+i3 ? i1*i2+i3短语: i1,i2,i3, i1*i2, i1*i2+i3直接短语: i1,i2,i3句柄: i1第十页,编辑于星期三:十五点 三十八分。第11页/共174页EE+TTFT*Fi3Fi2i1在一个句型对应的语法树中,以某非终结符为根的两代以上的子树的所有末端结点从左到右排列就是相对于该非终结符的一个短语,如果子树只有两代,则该短语就是直接短语。第十一页,编辑于星期三:十五点 三十八分。第12页/共174页可用句柄来对句子进行归约 句型 归约规则 abbcde(2) A ? b aAbcde(3) A ? Ab aAcde(4) B ? d aAcBe (1) S ? aAcBe S第十二页,编辑于星期三:十五点 三十八分。第13页/共174页定义:假定?是文法G的一个句子,我们称序列 ?n, ?n-1,? ,?0 是的一个规范归约,如果此序列满足: 1 ?n= ? 2 ?0为文法的开始符号,即?0=S 3 对任何i,0 ? i ? n, ?i-1是从?i经把句柄替换成为相应产生式左部符号而得到的。第十三页,编辑于星期三:十五点 三十八分。第14页/共174页把上例倒过来写,则得到:S ? aAcBe? aAcde ? aAbcde ? abbcde 显然这是一个最右推导。规范归约是关于是一个最右推导的逆过程最左归约 规范推导由规范推导推出的句型称为规范句型。第十四页,编辑于星期三:十五点 三十八分。第15页/共174页SSSSSaAceABBBacedAbAbdbaAceaAcBed第十五页,编辑于星期三:十五点 三十八分。第16页/共174页5.1.3 符号栈的使用和分析树的表示栈是语法分析的一种基本数据结
原创力文档


文档评论(0)