我如何看到 LR(0) 项目自动机中存在冲突？

Question

关于LR(0)有一些我没有完全理解的东西。 我试图弄清楚语法何时不是LR(0) 。 据我了解，我构建了LR(0)项目自动机。 然后我需要寻找冲突。 但我不认为我完全理解LR(0)项目自动机中的两个项目之间何时发生冲突。 是否有可能澄清这部分的事情？ 我什么时候知道LR(0)项目自动机中是否存在冲突？ 查看一两个示例会很有帮助（不是针对语法本身，而是针对有某种冲突的两个项目）。

例如：

S ::= T C
T ::= char
T ::= int
C ::= [ num ] C
C ::= ''

我得到：

为什么4和8之间有冲突？

Answer 1

不存在“4 和 8 之间的冲突”。 （这是没有意义的，因为解析机总是在一个 state 中。）这两个状态中的每一个（独立地）都有冲突。

LR(0) 解析器不能使用前瞻来预测动作，因此每个 state 必须具有：

1. 每个输入的移位转换，或
2. 每个输入的相同归约动作

这意味着如果在状态的项目集中有一个以 • 结尾的项目（即可约项目），那么它必须是项目集中的唯一项目。 任何其他项目要么是转变，要么是不同的减少。 而你的机器中的状态 4 和 8 则不是这样。 他们都有项目C::= • ，以及其他不以•结尾的项目。