LR(0)、LL(0)、LALR(1)之间的关系？

Question

我真的在努力理清以下之间的关系：

• LR(0)
• LL(0)
• LALR(1)
• SLR(1)
• LR(1)
• LL(1)

我很确定LALR(1)和SLR(1)是LR(1)的子集，但是我对其他的都迷茫了。它们都是独家的吗？LL(0)是LL(1)的子集吗？

谢谢

Answer 1

遏制规则如下：

• 每个LR(0)文法也是SLR(1)，但不是所有SLR(1)语法都是LR(0)。
• 每个SLR(1)文法也是LALR(1)，但不是所有LALR(1)文法都是SLR(1)。
• 每个LALR(1)语法也是LR(1)，但不是所有LR(1)语法都是LR(1)。
• 每个LL(1)语法也是LR(1)，但不是所有LR(1)语法都是LL(1)。
• 每个LL(0)文法也是LR(0)、SLR(1)、LALR(1)、LR(1)和LL(1)。(LL(0)语法基本上是无用的；see this question for details why)。

还有一种情况是，每一种具有LR(1)语法的语言都有LR(0)语法，前提是要标记语法，尽管语法并不一定很漂亮。