青岛理工大学计算机工程学院编译原理课件 第4章(6).pptVIP

4.5.3 SLR（1）分析法 1. SLR(1)方法为什么不能解决 I2中 的移进和归约冲突? 2. 怎样解决 I2中的移进和归约冲突? 问题: 4.5.3 SLR（1）分析法 由于用SLR(1)方法解决动作冲突时，它仅孤立地考察对于归约项目A→α? ，只要当前面临输入符号a∈Follow(A)时，就确定使用规则A→α进行归约，而没有考察符号串α所在规范句型的环境 。 Ii : A→α? I0 I1 Ii $ δ α aaa… I0 I1 Ij $δA aaa… 4.5.3 SLR（1）分析法 因为如果栈里的符号串为$δα ，归约后变为$δA，当前读到的输入符号是a，若文法中不存在以δAa为前缀的规范句型，那么，这种归约无效。 例如，我们考查规范句型i＝i的SLR(1) 分析过程： I0: S →L=·R L →·*R L →·i R →·L S→·S S→·L=R S→·R L→·*R L→·i R→·L S I1:S′→S· I2: S →L·=R R →L· L I3: S →R· R L →*·R L →·i R →·L L →·*R I4: * * i i I5: L →i· I6: = * I7: L →*R· R i L I8: R →L· L R I9: S →L=R· LR(0)识别G’活前缀的D