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解析器中将存在相同的冲突。