更强的LR分析

可以根据当前单词，来选择是移进还是归约。只要所有移进项目中的点后面的那些终结符，与归约项目生成的非终结符的Follow集合的元素没有重叠。若当前单词属于上述Follow集合里则规约

SLR(1)冲突解决办法

SLR(1)分析表的构造

SLR(1)分析表的构造示例

拿上面那个例子：

 

 我们来看看状态1的情况，状态1里面有两个项目：一个是规约项目，一个是移进项目，因此有冲突，检查一下要规约生成的S‘的Follow集合，里面有#，所以说这个规约项目告诉我们，在1状态面临#的时候，应该选择规约，这个规约又是接受项目，填入整个分析结束的接受标志acc；二第二个项目告诉我们这是个移进项目，从I1出发，识别+后，DFA告诉我们应该转入状态6，所以在对应位置填上s6。

总之，状态1里有一个规约项目，有一个移进项目，但是通过检查Follow集合，我们把这两个动作区分开来，没有造成冲突。状态2和状态9都类似。

分析状态1：

 分析状态2：

 

一个非SLR(1)文法

 

状态2中有移进规约冲突，查看Follow（R），里面有=，而=又刚好是移进项目中·后面的符号，以这个文法不是SLR（1）。

但状态2处于分析栈的栈顶，而面临符号是=时，并不能对栈顶L进行规约。因为没有以“R=”为前缀的规范句型，只有以“*R=”为前缀的规范句型（I7和I2）

LR(1)有效项目

LR(1)分析表构造

【LR(1)分析表的构造示例】

注意如何添加展望信息

分析器产生工具

小结