一、 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也是以此类推