LALR、LR(1) 和 SLR

Question

由于 LR (1) 语法比 LALR 或 SLR 语法更广泛，我对 LR 语法的证明存在疑问。 如果语法是 SLR 或 LALR，那么这是否意味着该语法也是 LR (1)？

事实上，由于使用前瞻的方法执行起来更复杂，因此我可以使用 SLR 方法（不使用前瞻）或 LALR 方法来证明文法是 LR（1）。

Answer 1

如果语法是 SLR(k) 或 LALR(k)，那么它也是 LR(k)。 如果在构造 LR 解析器时发现冲突，则相同的冲突将出现在相同语法的 LALR 或 SLR 解析器中。