第四章节7-LR(1)文法.pptVIP

* * * * * * * * * * * * * * * * * * * * * 主要内容： LR(1)分析方法 Z ? E E ? (L,E) E ? S L ? L,E L ? E S ? id S ? (S) Z ? ?E E??(L,E) E??S S??id S? ?(S) 0 E?(?L,E) S?(?S) L??L,E L??E E??(L,E) E??S S??id S??(S) 1 E?S? S?(S?) 2 ( S ?1(S2, ) ) = {Shift, Reduce3} 即| ?1(S2,) ) | ≤ 1 不成立(Follow(E)={#,),,}) 非SLR(1)文法 LR(0)方法不依赖输入流，直接判定归约，容易出现冲突。 SLR(1)方法简单地把非终极符的follow集做为可归约的依据，并不精确。 一个非终极符在不同的位置上出现，它所允许的后继符是不同的，而SLR(1)没有加以区分。LR(1)针对不同产生式上的非终极符，分别定义其后继符集（展望符集Reducelookup），减少了移入/归约冲突。 任何SLR(1)都一定是LR(1)文法。 1、构造文法的LR(1)自动机 2、由LR(1)自动机构造LR(1)分析表（Action表和 Goto表） 3、根据当前状态和输入符号查分析表确定要执行的操作，进行相应的语法分析