中国地质大学（武汉）《编译原理》课件-第7章LR分析法.pptVIP

在I1，I7，I8中 存在移进 -归约冲突 I1：E’ ?E? E ?E?+E E ?E?*E I7 ： E ?E+E? E ?E?+E E ?E?*E I8 ： E ?E*E? E ?E?+E E ?E?*E 在I1中:归约项目E′→E·实际上为接受项目。由于FOLLOW(E′)＝{#}也就是只有遇到句子的结束标志#号才能接受，因而与移进项目的移进符号+，*不会冲突，所以可用SLR(1)方法解决，即遇当前输入符为#时则接受，遇+或*号时则移进。在I7和I8中，由于归约项目[E→E＋E·]和[E→E*E·]的左部都为非终结符E，而FOLLOW(E)={#,＋，*，)}，而移进项目均有+和*也就存在FOLLOW(E)∩{＋，*}≠ 对于I7和I8规定：‘*’优先于‘+’，都服从左结合 I7 ：遇‘*’移进 遇‘+’归约 I8 ：遇‘+’，‘*’ 都归约 LR分析的特征是：　　◇ 归约过程是规范的：　　◇符号栈中的符号是规范句型的前缀，且不含句柄以后的任何符号(活前缀)。　　◇ 分析决策依据栈顶状态和现行输入符号是什么来决定的。　　◇为构造LR分析表，可先构造识别活前缀和句柄的DFA。　　◇ LR分析器的关键部分是分析表的构造, 对一个文法能判断是否是LR类文法，能否构造相应的LR分析表，并能对给定的输入串进行分析以决定该输入串是否为所给文法的句子　　 小结 ◇ 四种LR类型：　　LR(0) SLR(1) LALR(1) LR(1) 功能逐个增强 　　◇ 四种LR类型的文法是真包含关系　　 ?????????????????????????????????????????????????????? 因此本节将介绍对于LR(0)规范族中有冲突的项目集(状态)用向前查看一个符号的办法进行处理，以解决冲突。这种办法将能满足一些文法的需要，因为只对有冲突的状态才向前查看一个符号，以确定做那种动作，因而称这种分析方法为简单的LR(1)分析法，用SLR(1)表示。 因此假定一个LR(0)规范族中含有如下的项目集(状态)I　　I={X→α·bβ,A→γ·,B→δ·}也就是在该项目集中含有移进-归约冲突和归约-归约冲突。其中α,β,γ,δ为文法符号串，b为终结符。那么只要在所有含有A或B的句型中，直接跟在A或B后的可能终结符的集合即FOLLOW(A)和FOLLOW(B)互不相交，且都不包含b，也就是只要满足　　FOLLOW(A)∩FOLLOW(B)= ? 　　FOLLOW(A)∩{b}= ? 　　FOLLOW(B)∩{b}= ?  那么，当在状态I时面临某输入符号为a时，则动作可由下规定决策。　　1) 若a=b，则移进。　　2) 若a∈FOLLOW(A)，则用产生式A→γ进行归约。　　3) 若a∈FOLLOW(B)，则用产生式B→δ进行归约。　　4) 此外，报错。 I={X→α·bβ,A→γ·,B→δ·} I3：S→rD·.. D→D·，i 在上例中的I3如下： 因为I3中存在移进个归约的冲突，采用SLR（1）的方法看看是否可以解决： Follow(S) ∩ {,}={#} ∩ {,}= 所以遇到‘，’就移进，遇到＃就归约。 实数说明文法的SLR(1)分析表 状态 ACTION GOTO r , i # S D 0123456 S2...r3.r2 ...S5r3.r2 ..S4.r3S6r2 .acc.r1r3.r2 1 ..3 　　 如果对于一个文法的LR(0)项目集规范族的某些项目集或LR(0)分析表中所含有的动作冲突都能用上述方法解决，则称这个文法是SLR(1)文法，所构造的分析表为SLR(1)分析表，使用SLR(1)分析表的分析器称为SLR(1)分析器。 例如，我们可以构造算术表达式文法的LR(0)项目集规范族，然后分析它是LR(0)文法还是SLR(1)文法，现将表达式文法拓广如下：　　(0) S′→E　　(1) E→E+T　　(2) E→T　　(3) T→T*F　　(4) T→F　　(5) F→(E)　　(6) F→i　　 　　I0： S′→·E　　 　　E→·E+T 　　 　　E→·T　　　 　T→·T*F　　　 　T→·F　　　 　F→·(E)　　　 　F→·i　　I1： S′→E·　　　 　E→E·+T　　I2： E→T·　　　 　T→T·