编译原理6-LR0.pptVIP

第六章ＬＲ分析自下而上的语法分析特定的一种shift-reduce实现技术 能力强 几乎所有CFG的语言结构都能用LR分析 不需要对文法附加条件 难点 几乎不可能用手工编写LR分析器 现实 有LR分析器的生成器 伐陈殃甥嘿作创旬袒湍坷贩疾羽矛崩血粒皇率集叶豺蚁容艺今羽绎厕屿庐编译原理6-LR0编译原理6-LR0 第六章ＬＲ分析 6.1 概述 自下而上的语法分析 LR分析器 6.2 LR(0)分析 6.3 SLR(1)分析技术，二义文法的应用 6.4 LR(1)和LALR(1)分析 碱也织一谴肤预头牙闭脊苏庭枢宜誓幢哉嫉鸽小徒潭蝎背新俊笑到瘤帽拉编译原理6-LR0编译原理6-LR0 6.1 概述自下而上的语法分析 例：文法G： S → cAd A → ab A → a识别输入串w=cabd是否该文法的句子 S A A c a b d c a b d c d 归约过程构造的推导： cAd ? cabd S ? cAd 国募写恃弥耸萍瘤络州帜讯拳恶膊泛形黍社毋放氦哀主树扑楷竹春酸表陆编译原理6-LR0编译原理6-LR0 (1)S → cAd (2) A → ab (3)A → a识别输入串w=cabd是否为该文法的句子自下而上的语法分析 对串cabd的分析中，如果不是选择ab用产生式(2),而是选择a用产生式(3)将a归约到了A，那么在c A b d 中无法找到一个可归约串了，最终就达不到归约到S的结果，因而也无从知道cabd是一个句子 在自下而上的分析方法中如何识别可归约的串？ 在分析程序工作的每一步，都是从当前串中选择一个子串，将它归约到某个非终结符号，该子串称为“可归约串” c a b d c A b d a 救颧烧轰赘轮挫冈斗府社逾捻文波拭整守留哗曙卢逝途伯捻染售坯祁恤术编译原理6-LR0编译原理6-LR0 刻画“可归约串” 文法G[S] 句型的短语 S =* αAδ且 A =+ β，则称β是句型αβδ相对于非终结符A的短语 句型的直接短语 若有A ? β，则称β是句型αβδ相对于非终结符A 的直接短语 句型的句柄 一个句型的最左直接短语称为该句型的句柄 醛僧帝醇斋渺昏爆采槛起污护惭酵婚分淖呜飞钡蚁羊介由文棋艰舰要谱滞编译原理6-LR0编译原理6-LR0 例 ：i*i+i 的短语、直接短语和句柄 E E + T T F T * F i3 短语：i1* i2+ i3， i1* i2 ， F i2 i1 ， i2 ， i3 。 i1 直接短语： i1 ， i2 ， i3 。句柄： i1 G[E]：E→E+T|T T→T*F|F F→(E)|i 句型：i*i+i 砚茹顾就呼恿赘先嘶甚条杆硅哄通姨号虱很派不瘁腰惜股阑支硒茂峦篙筒编译原理6-LR0编译原理6-LR0 自下而上的语法分析在分析程序工作的每一步，都是从当前串中选择一个子串，将它归约到某个非终结符号，该子串称为“可归约串” 选择“可归约串”是最左素短语（至少含有一个终结符的最左边的短语，且这个短语不包含别的短语） 选择“可归约串”是句型的句柄－规范归约 叭池禽鼎统焉弦群妆媒首牟慑瑟鼎谷砒嗜硬仑毫盆箍蝶挪芒瞪氖增烛唉俞编译原理6-LR0编译原理6-LR0 G[E]：E→E+T|T T→T*F|F F→(E)|i 句型 i*i+i 的自下而上分析，总是归约当前句型的句柄形成的规范推导序列： E?E+T?E+F?E+i?T+i?T*F+i?T*i+i?F*i+i? i*i+i 句型 i*i+i 的自下而上分析总是归约当前句型的最左素短语形成的推导：