SLR(1)分析法

目录

1.基本概念

2.如何构造SLR(1)分析表

3.ACTION表和GOTO表的构造步骤

4.冲突解决办法

---

1.基本概念

（1）按上述方法构造出的ACTION与GOTO表如果不含多重入口，则称该文法为SLR(1)文法。

（2）使用SLR表的分析器叫做一个SLR分析器。

（3）每个SLR(1)文法都是无二义的。但也存在许多无二义文法不是SLR(1)的。

（4）LR(0)∈ SLR(1)∈无二义文法 

---

 

2.如何构造SLR(1)分析表

（1）把G拓广为G'

（2）对G'构造

        1.LR(O)项目集规范族C 

        2.活前缀识别自动机的状态转换函数GO

（3）使用C和GO，构造SLR分析表

        1.令每个项目集&的下标k作为分析器的状态，包含项目S'→·S的集合I的下标k为分析器             的初态。

        2.构造分析表的ACTION和GOTO子表

---

 

3.ACTION表和GOTO表的构造步骤

前面我在一篇文章中也讲到了如何来构造ACTION和GOTO，当时是为了构造LR(0)表https://blog.csdn.net/qq_55168827/article/details/124385670https://blog.csdn.net/qq_55168827/article/details/124385670现在我们是为了构造SLR(1)，他们的过程有很多的相同点，但是也有不同点，下面的表就具体的说明了他们的构造过程。

大家可以看出，他们的第二步有所不同，在专业术语中，SLR(1)多了一步解决冲突的步骤，具体是怎么来解决冲突的，我后面会和大家讲解。

---

 

4.冲突解决办法

大家现在看了可能有点懵，我马上来结合一道例题和大家讲解。

5.例题分析

怎么根据文法G来画出识别活前缀的DFA和LR(0)项目集规范族是怎么求出来的，我们现在不做过多阐述，今天我们主要来看如何去构造SLR(0)分析表，我们第一步就是要解决冲突，我们分析已经求出来的LR(0)项目集规范族可以看出I1，I2，I9的第一个项目都是规约项目，而第二个项目都是移进项目，产生了冲突，需要解决冲突。

 

这是刚开始的ACTION和GOTO表，我们先来看状态0，还是老规矩，遇到移进就填入ACTION表中，遇到规约就去找是第几个推导式，然会填入GOTO表中

下面我们来看看状态1的情况，状态里面有两个项目，一个是归约项目，一个是移进项目，因此有冲突，我们检查一下要归约生成的Follow(S'),里面有#号，所以说这个归约项目告诉我们在状态1面临#的时候应该选择归约，而这个归约呢又是个接受项目。所以就是整个分析结束的接受标志。而第二个项目告诉我们，这是个移进项目，从I1出发识别+之后，DFA告诉我们应该转入6，所以1这一行+这一列选的应该是移入，转入6，虽然状态1里面有一个移进项目，一个规约项目，但是我们通过检查Follow集合，我时把这两个动作给它区分来了。没有造成冲突。

 

 

下面我们接着看状态2，状态2也有一个规约项目，一个移进项目，E的FOLLOW集合有三个元素，+，），#，所以说第一个项目告诉我们，当状态2处于栈顶，面临的输入符号是+，），#，你就可以按照第一个项目规约，我们可以发现它是第二个产生式，所以说在2的这一行，+，），#这些列都写上用第二个产生式做规约，填上r2，再看第二个项目，当状态2处于栈顶面临*的时候，就应该是移入了，它正好与E的FOLLOW集元素不重叠，可以移入。 

 后面的步骤都与之前的是一样的，我直接提供答案了。