SLR(1)分析法

LR(0)文法要求文法的每一个LR(0)项目都不含有冲突的项目，这个条件比较苛刻。对于大多数程序设计语言来说，一般都不能满足LR(0)文法的条件。

例如：

不难看出在状态$I_2$中既存在规约项目，又存在移进项目，因而这个文法不是LR(0)文法。

为了对语言句子进行确定性的分析，需要解决冲突。可以采用对含有冲突的项目集向前查看一个输入符号的办法来解决冲突，这种分析法称为简单的LR分析法，即SLR(1)分析法。

分析构造LR(0)分析表的方法，易看出是分析表出现多重定义的原因在于其中的规则2。即对于每一个项目集$I_k$中的规约项目$A\to \alpha \cdot$，不管当前输入符号是什么，都将ACTION表中第k行的各个元素均置为$r_j$。

因此当一个LR(0)项目集闺范族中存在一个含有冲突的项目集，例如：

I k = { X → δ ⋅ b B ， A → α ⋅ ， B → r ⋅ } I_k = \{X \rightarrow{\delta·bB，A\rightarrow{\alpha·}，B\rightarrow{r·}}\}