LR(0),SLR(1),LR(1),LALR(1)的区别

参考文章

参考文章

LR(0),LR(1),SLR(1),LALR(1)是自下而上的分析法。自下而上:从给定的句子规约到文法的开始符号。用的是归约。

种文法分析过程基本有三大步：写出自动机（即 LR(0)或 LR(1)项集族，后面都称作自动机） -> 构造文法分析表-> 进行文法分析过程。其中后两步都是类似或者说几乎完全一样的，第一步中的自动机有两种: LR(0)自动机和 LR(1)自动机。LR(0) 和 SLR文法分析用的是 LR(0)自动机，LR(1)和 LALR文法分析用的是 LR(1)自动机。而LR(1)自动机构造方法和LR(0)自动机的构造方法相同，只是多增加了向前搜索符号。

LR(0),SLR(1),LR(1),LALR(1)
LR需要构造一张LR分析表，此表用于当面临输入字符时，将它移进，规约（即自下而上分析思想），接受还是出错。
LR(0)找出句柄前缀，构造分析表，然后根据输入符号进行规约。 SLR(1)使用LR(0)时若有冲突，不知道规约，移进，活移进哪一个，所以需要向前搜索，则只把有问题的地方向前搜索一次。 LR(1)1.在每个项目中增加搜索符。2.举个列子如有A->α.Bβ，则还需将B的规则也加入。 LALR(1)就是假如两个产生式集相同则将它们合并为一个，几合并同心集。
LL（1）：最左推导
LR（0）：最右推导
SLR(1):：不存在规约、移进冲突
LR(1)：不存在规约、规约冲突
LALR(1)：能合并，不冲突

LR 分析器的关键部分是 分析表的构造。分析表有以下几种：

规范的 LR 分析表：

LR(0)，能力最弱，局限性较大，但理论上最重要。
LR(1)，它功能最强，但代价也最大。
简单的 LR 分析表：

简称 SLR ，最容易实现，但功能最弱。
向前看的 LR 分析表：

简称 LALR，功能和代价处于前两者之间，适用于绝大多数程序语言的文法
总结： LR(0) 功能最弱，功能弱是说当文法中产生式比较复杂，出现某些问题时，无法解决。这些问题一部分可以由 SLR 分析法解决。但还有一部分 SLR 解决不了，可以用 LR(1) 来解决。