LR(0)分析存在问题及解决办法
当LR(0)含有互相冲突的项目时,则需要向前展
望符号串,检查下一个输入符号的状态
例 项目集I={X→α· bβ,A→α·,B→α· }
当面临输入符号b时,应该选择移进b,还是归约
到A,或归约到B?
解决办法 当状态I,面临输入符号是a时
(1) 若a=b,则移进b
(2) 若a∈FOLLOW(A),则用产生式A→α进行归约
(3) 若a∈FOLLOW(B),则用产生式B→α进行归约
(4) 此外,报错
SLR(1)解决冲突的方法:
假定LR(0)规范族的一个项目集I中
含有m个移进项目
A1→α·a1β1,A2→α·a2β2,…,Am→α·amβm
同时含有n个归约项目
B1→α· ,B2→α· ,…, Bn→α·
如果下列集合两两不相交
{a1,a2,…,am},FOLLOW(B1),FOLLOW(B2),…,FOLLOW(Bn)
当状态I面临输入符号a时,按以下规则移进归约
若a=ai,i=1,2,…,m, 则移进
若a∈FOLLOW(Bi),i=1,2,…,n,则用Bi→α归约
此外,报错
标签:符号,移进,编译,归约,LR,原理,FOLLOW,输入 From: https://www.cnblogs.com/N-lim/p/16981466.html