编译原理——第五章-LR(0)文法的分析与-LR(0)文法分析表的构造

一、 LR(0)文法分析表的构造

LR(0)文法，这里的L表示从左往右扫描输入串，R表示构造一个最右推导的逆过程

①首先要学会书写出各个产生式的项目

例：

②学习增广文法（也叫拓广文法），引进一个非终结符S’，使得开始符只在产生式的左部出现一次。

③现在我们把前俩个知识点连贯起来，求得S"->S…的增广文法的项目

④可以把所有等价的项目组成一个项目集（I），称其为项目集闭包
如：（1）（2）等价，（3）（7）（11）等价，（5）（13）等价

⑤现在我们开始构造LR（0）自动机（DFA）

1、把初始项目S’->·S放在0中,因为S’->·S中S为非终结符，称为“待约”项目，则进行第二步
2、再把与 ·S等价的项目放进来

3、再把与 ·B等价的项目也放进来

4、推导出S’->·S的后继项目S’->S·，而它并无等价项目

5、通过B推导出S->·BB的后继项目S->B·B,然后再参考1、2步骤将它的等价项目写进来

6、后面的以此类推

⑥推导完了之后，开始书写LR（0）分析表

1、首先我们看项目集0，
S’->·S可以通过S可以推导出项目集1，所以在[0,S]填入1

S->·BB通过B可以推导出项目集2，S->·BB为移进项目，所以在[0,B]填入2

B->·aB通过a可以推导出项目集3，B->·aB为移进项目,所以在[0,a]填入s3

B->·b通过b可以推导出项目集4，B->·b为移进项目,所以在[0,b]填入s4

2、我们看项目集1，
是S’->S·，为“接受”项目，即在【0，#】填入acc

3、其他项目集2、3也是以此类推

4、现在我们再看看项目集4，
是B->b·，为“归约”项目

5、其他项目集5、6也是以此类推