考虑项集I2.这个项集中的第一个项使得ACTION[2,=]是"移入6".因为FOLLOW(R)包含=(考虑推导过程S⇒L=R⇒*R=R即可知原因),第二个项将ACTION[2,=]设置为"归约R→L".因为在ACTION[2,=]中既存在移入条目又存在归约条目,所以状态2在输入符号=上存在移入/归约冲突.
文法(4.49)不是二义性的.产生移入/归约冲突的原因是构造SLR分析器的方法功能不够强大,不能记住足够多的上下文信息.因此当它看到一个可归约为L的串时,不能确定语法分析器应该对输入=采取什么动作.接下来讨论的规范LR方法和LALR方法将可以成功地处理更大的文法类型,包括文法(4.49).然而请注意,存在一些无二