在进行LR(0)或者LR(1)文法分析时,会遇到一些针对二义性文法的问题,在构造分析表的时候要通过分析这些文法中产生式中移进归约冲突,归约时,非终结符号与等待输入字符之间的优先级关系,来填写分析表中到底是归约还是移进
如有如下文法
S’ ® EE E ® E+E E ® (E) E ® E * E® a E ® EE
有项目I4如下
E ® EE· E ® E·+E E ®· (E) E ® E ·* E®· a E ® E·E
在构造分析表时第四项如下
4 碰到 +的时候 我们认为E的优先级高于+,所以优先归约
4 碰到×的时候 E的优先级小于×,先移进
4碰到(,E低于(,移进
同理可处理以后项目