编译原理四种lr文法的判断（LR(0),SLR(1),LALR(1),LR(1)）

关系：LR(0)<SLR(1)<LALR(1)<LR(1)
如果前边一个文法判断是后边都是
比如：是LR（0）也是 SLR（1）也是 LALR（1）也是LR（1）
不是LR（0），但是是SLR（1）就也是LALR（1）也是LR（1）
以此类推

1.判断LR(0)文法：

看项目中是否有归约-归约和移进-归约冲突。
如果无冲突则是LR(0)文法（如果是LR(0)文法则四种都是）；如果有冲突则不是LR(0)文法。（就要向下判断）

2.判断SLR(1)文法：

a:DFA中存在冲突项目（归约-归约，归约-移进）
b:{a1,a2,…,an},FOLLOW(B1),FOLLOW(B2)两两互不相交，（交集=空集）时是SLR(1)项目。
【也就是说，同时满足两个条件才是SLR（1）文法】

若不是再向下判断。

3.判断LR(1)文法：

构造带向前搜索符的DFA，无归约-归约冲突则是LR(1)文法。

【此处意思是如果有向前搜索符还有冲突的话就不是LR（1）文法，就要再向下判断】

4.判断LALR(1)文法：

合并同心集后无（归约-归约）冲突（在之前的基础上）
（核相同，向前搜索符不同）

（B->a,a
B->a,a|b
同心集）