parsing - 这些语法 : LL1, SLR1、LR0、LR1 和 LALR1 的层次结构是什么？

Question

这些语法是如何相互关联的？例如SLR 是 LALR1 的子集。有没有固定的方法来处理其他人之间的关系？

Answer 1

有三种类型的上下文无关语法(CFG'S)。
1) Floyd-Evans Parsable
2)明确的CFG
3) 运算符优先级
您上面提到的所有内容都是Unambiguous CFG。
LL(0) < LL(1) < LL(k)。 LR(0) < SLR(1) < LALR(1) < LR(1) < LR(k)。
此外，LL(k) < LR(k)
每个 LR(0) 语法 id SLR(1) 和每个 SLR(1) 都是 LALR(1)，而 LALR(1) 又是 LR(1)。