与小量生产单反解析冲突

Question

考虑下面的语法

S -> aPbSQ | a 

Q -> tS | ε 

P -> r 

虽然构建DFA，我们可以看到有一个应当包含项目

Q -> .tS 

Q -> . (epsilon as a blank string) 

因为t为后续的状态（Q）似乎有一个转变 - 减少冲突。

我们可以总结语法的本质不是SLR（1）吗？

Answer 1

（请忽略我以前不正确的答案）

是的，事实上，你有一个转变/减少该配置集冲突足以表明，这种语法不是SLR（1）。