第四章_语法分析(5).pptVIP

*编译原理*根据最近匹配原则选择移进动作图4-49LR分析表第29页，共55页，星期日，2025年，2月5日*编译原理*4.8.4LR分析的错误恢复LR分析器在什么情况下发现错误访问动作表时若遇到出错条目，就检测到一个错误访问转移表时它决不会遇到出错条目SLR和LALR分析可能会在报错之前执行几步归约，但决不会把不正确的后继移进栈规范的LR分析器甚至在报告错误之前决不做任何无效归约第30页，共55页，星期日，2025年，2月5日*编译原理*紧急方式错误恢复退栈，直至出现状态s,它有预先确定的A的转移；抛弃若干个输入符号，直至找到a,它是A的合法后继；再把A和状态goto[s,A]压进栈，恢复正常分析。第31页，共55页，星期日，2025年，2月5日*编译原理*s......栈........a..A发现错误s:C??·A?A?·b?...C??A·?...AA?b·?...b第32页，共55页，星期日，2025年，2月5日*编译原理*第33页，共55页，星期日，2025年，2月5日*编译原理*第34页，共55页，星期日，2025年，2月5日*编译原理*例4.50E?E+E|E*E|(E)|ide1:id(状态)3进栈，缺少运算对象e2:从输入删除“)”，右括号不匹配e3:+(状态)4进栈，缺少操作符e4:)(状态)9进栈，缺少右括号第35页，共55页，星期日，2025年，2月5日*编译原理*输入id+)的分析和出错恢复分析栈输入串动作和错误信息

0 id+)$ 移进

0id3+)$ 归约,E?id

0E1 +)$ 移进

0E1+4)$ e2右括号不匹配，从输入删除“)”0E1+4$ e1缺少运算对象，假想的id进栈0E1+4id3$ 归约,E?id0E1+4E7$ 归约,E?E+E0E1 $ accetp第36页，共55页，星期日，2025年，2月5日*编译原理*4.9语法分析器的生成器Yacc：yetanothercompiler-compiler基于LALR(1)的语法分析程序的生成器Yacc的GNU版叫做Bison。Yacc是一种工具，根据编程语言的语法生成针对该语言的Yacc语法分析器。它用巴科斯范式(BNF,BackusNaurForm)来书写。第37页，共55页，星期日，2025年，2月5日*编译原理*4·9·1分析器的生成器Yacc按照惯例，Yacc文件有·y后缀。调用Yacc编译器：yaccoptionsfilenameendingwith·yYacc编译器Yacc源程序translate·yy·tab·cC编译器y·tab·ca·outa·out输入输出第38页，共55页，星期日，2025年，2月5日*编译原理*语法规则(.y文件)yyparse()YaccLex词法规则(.l文件)yylex()输出第39页，共55页，星期日，2025年，2月5日编译原理编译原理第四章_语法分析(5)第1页，共55页，星期日，2025年，2月5日*编译原理*LRParsing第2页，共55页，星期日，2025年，2月5日*编译原理*LR(0)项目在产生式右部加上‘·’，表示分析过程中的状态,指示产生式右部符号已经被识别了多少。A?X·YZ由X推导出的子串已经分析过，X出现在栈中，下一步希望看到YZ推导出的子串。第3页，共55页，星期日，2025年，2月5日*编译原理*闭包运算closure若项目集I中有项目A??·B?，且有产生式B??，则下一步希望看到由B?推导出的子串，那么等同于希望看到??，因此将项目B?·?加入closure(I)第4页，共55页，星期日，2025年，2月5日*编译原理*有效项目有效项目：如果存在规范推导S?*?Aw