编译原理6-LR0.pptVIP

第六章ＬＲ分析自下而上的语法分析特定的一种shift-reduce实现技术 能力强 几乎所有CFG的语言结构都能用LR分析 不需要对文法附加条件 难点 几乎不可能用手工编写LR分析器 现实 有LR分析器的生成器 第六章ＬＲ分析 6.1 概述 自下而上的语法分析 LR分析器 6.2 LR(0)分析 6.3 SLR(1)分析技术，二义文法的应用 6.4 LR(1)和LALR(1)分析 6.1 概述自下而上的语法分析 例：文法G： S → cAd A → ab A → a识别输入串w=cabd是否该文法的句子 (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 刻画“可归约串” 文法G[S] 句型的短语 S =* αAδ且 A =+ β，则称β是句型αβδ相对于非终结符A的短语 句型的直接短语 若有A ? β，则称β是句型αβδ相对于非终结符A 的直接短语 句型的句柄 一个句型的最左直接短语称为该句型的句柄 例 ：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 的自下而上分析，总是归约当前句型的句柄形成的规范推导序列： E?E+T?E+F?E+i?T+i?T*F+i?T*i+i?F*i+i? i*i+i 句型 i*i+i 的自下而上分析总是归约当前句型的最左素短语形成的推导： E?T+F?T+i?F*F+i?F*i+i? i*i+i 6.1 概述 ＬＲ分析 特定的一种shift-reduce实现技术 L 从左到右扫描输入串 R 构造最右推导 ＬＲ分析器模型 LR分析表  LR分析使用两张表 ACTION表 告诉分析器：栈顶状态为S, 当前输入符号是a时做什麽 1. ACTION[S,a]= Sj 2. ACTION[S,a]=rj (第j条产生式为A??) 3. ACTION[S,a]=acc 4. ACTION[S,a]= error GOTO表 GOTO[S,A]栈顶状态为S，归约之后的非终结符為A时，要放到栈顶的新状态 ＬＲ分析 G[S]: (1)S ?a A c B e (2)A ?b (3)A ?Ab (4)B ?d w=abbcde# Step states. . The rest of input action goto 1 0 abbcde# s2 2