编译原理其他.pptVIP

问题可能的解决方式 往后再多看一个符号带来的方法，括号里标为1，这样有SLR(1)，LR(1)和LALR(1)等几种解决方法 SLR(1) 很多实用的程序设计语言的文法不能满足LR(0)文法的条件 SLR(1)文法的思想是，对有冲突的项目集(状态)，用向前查看一个符号的方法(只对有冲突的状态才这么做)来解决冲突 SLR(1)文法：一个例子 这里先考察下面的文法G?： (0) S?→S (1) S→rD (2) D→D, i (3) D→i G?的LR(0)项目集族 按照前面的方法求LR(0)的项目集族 识别活前缀的DFA 问题 在项目集I3中，存在归约移进项目的冲突 也就是说，所以它不是LR(0)文法 这个问题在下面的LR(0)分析表中也会有相应的表现：存在多重入口 问题 LR(0)分析表存在多重入口 问题的解决：SLR(1) 通过观察可以发现，上述问题可以并不复杂地解决 先求一下FOLLOW(S)，为#。这意味着，如果进行归约，下面将要出现的符号仅能是“#”，所以如果出现“,”，一定应该做归约，以此解释，可以打破多重入口困扰 SLR(1)分析表 对前面的表简单改造，不难得到下表 SLR(1)文法 如果对一个文法的LR(0)项目集规范族的某些项目集或LR(0)分析表中所含有的动作冲突都能用上述方法解决，则称这个文法是SLR(1)文法 使用SLR(1)分析表的分析器称为SLR(1)分析器 SLR(1)分析：小结 假定一个LR(0)规范族中含有如下的项目集或状态I={X?→??b?, A→??, B→??} 显然，它同时存在移进-归约冲突和归约-归约冲突 这时，如果下面几个式子成立，则可以简单地解决冲突问题： FOLLOW(A)?FOLLOW(B)=? FOLLOW(A)?{b}=? FOLLOW(B)?{b}=? SLR(1)分析 解决问题的方式： 若输入符号a=b，则移进 若a?FOLLOW(A)，则利用产生式A→?进行归约 若a?FOLLOW(B)，则利用产生式B→?进行归约 此外，报错 SLR(1)分析的实例 设有文法G?[S?]： (0) S?→E (1) E→E+T (2) E→T (3) T→T*F (4) T→F (5) F→(E) (6) F→i SLR(1)分析的实例 该文法的LR(0)项目集规范族： SLR(0)分析的实例 该文法的项目集规范族 可构造识别表达式文法活前缀的DFA如下 SLR分析的实例 在I1中， S?→E? E→E?+T 存在移进归约冲突。由于FOLLOW(S?)={#}，而S?→E?是唯一的接受项目，所以当且遇到句子结束符号“#”时才被接受。又因为{#}?{+}=?，因此该冲突可以解决 在I2中， E→T? T→T?*F 同样存在移进归约冲突。由于FOLLOW(E)= {+, ), #}，与{*}的交为空，所以按照SLR(1)方法，可以解决冲突 SLR(1)分析的问题 对前例的I2项目，{E→T?, T→T?*F}，若栈顶状态为2，栈中符号为#T，当前输入符号为“)”。由于“)”属于FOLLOW(E)，这时按SLR(1)方法应用产生式E→T进行归约，栈顶符号变为#E，再加上当前符号“)”，得到栈顶为#E)，它不是表达式文法规范句型的活前缀，从而出现无效归约 SLR分析的问题 设有文法G?[S?]： (0) S?→S (1) S→aAd (2) S→bAc (3) S→aec (4) S→bed (5) A→e 可得到如下识别活前缀的DFA 不难看出，在上面的I5和I7中，都分别存在移进和归约冲突 如果试图利用SLR(1)方法解决，于是求出FOLLOW(A)={c, d}，但是，