SLR解析与epsilon生成冲突

Question

考虑以下语法

S -> aPbSQ | a

Q -> tS | ε

P -> r

在构建DFA时，我们可以看到应该有一个包含Items

的状态

Q -> .tS

Q -> .  (epsilon as a blank string)

因为t跟随（Q）似乎有转变 - 减少冲突。

我们能否断定语法的本质不是单反（1）？

Answer 1

（请忽略我之前的错误答案。）

是的，您在此配置集中有转换/减少冲突这一事实足以证明此语法不是SLR（1）。