中央财经大学《编译原理》课件-第5章 自底向上的语法分析.pptVIP

状态 动作表ACTION 转移表GOTO a b c d # S A B 0 S4 S5 1 2 3 1 acc 2 r1 r1 r1 r1 r1 3 r2 r2 r2 r2 r2 4 r4/S4 r4 r4 r4 r4 6 5 r6 r6/ S5 r6 r6 r6 7 6 S8 7 S9 8 r3 r3 r3 r3 r3 9 r5 r5 r5 r5 r5 * 九、SLR(1)分析表的构造 设G’的LR(0)项目集规范族：{I0,I1,…,In}用i表示闭包Ii对应的分析器状态(即相应的DFA状态) 1 0为开始状态 2 对Ii∈C： if A→α.aβ∈Ii and go(Ii,a)=Ij then action[i,a]=sj ; if A→α.Bβ∈Ii and go(Ii,B)=Ij then action[i,B]=sj ; if A→α.∈Ii then for ?a∈FOLLOW(A)do action[i,a]=rj ; if S→S.∈Ii then action[i,#]=acc; 3 所有空格置 error * 例5-12 表达式文法的SLR(1)分析表 拓广文法 0) Ｅ→Ｅ 1) Ｅ→Ｅ+Ｔ 2) Ｅ→Ｔ 3) Ｔ→Ｔ*Ｆ 4) Ｔ→Ｆ 5) Ｆ→(Ｅ) 6) Ｆ→id * I0: E’→.E E→.E+T E→.T T→.T*F T→.F F→.(E) F→.id E I1: E’→E. E→E.+T T I2: E→T. T→T.*F F I3: T→F. ( I4: F→(.E ) E→.E+T E→.T T→.T*F T→.F F→.(E) F→.id id I5: F→id. + I6: E→E+.T T→.T*F T→.F F→.(E) F→.id * I7: T→T*.F F→.(E) F→.id E I8: F→ (E.) E→E.+T T F ( id T I9: E→E+T. T→T.*F F ( id F I10: T→T*F. ( ) I11: F→(E). + * id 在状态 2、9 出现移进归约冲突 * 例5-12 表达式文法的SLR(1)分析表 状态 ACCTION GOTO id + * ( ) # E T F … 2 r2 r2 r2/S7 r2 r2 r2 … 9 r1 r1 r1/S7 r1 r1 r1 … * 表达式文法的SLR分析表 求非终结符的 FIRST 集和 FOLLOW 集 FIRST( F ) = { id, ( } FIRST( T ) = { id, ( } FIRST( E ) = { id, ( } FOLLOW( E ) = { ), +, # } FOLLOW( T ) = { ), +, #, * } FOLLOW( F ) = { ), +, #, * } 1) Ｅ→Ｅ+Ｔ 2) Ｅ→Ｔ 3) Ｔ→Ｔ*Ｆ 4) Ｔ→Ｆ 5) Ｆ→(Ｅ) 6) Ｆ→id 状态 ACCTION GOTO id + * ( ) # E T F 0 S5 S4 1 2 3 1 S6 acc 2 r2 S7 r2 r2 3 r4 r4 r4 r4 4 S5 S4 8 2 3 5 r6 r6 r6 r6 6 S5 S4 9 3 7 S5 S4 10 8 S6 S11 9 r1 S7 r1 r1 10 r3 r3 r3 r3 11 r5 r5 r5 r5 * SLR(1) 分析的特点 描述能力强于 LL(1) SLR(1)还考虑FOLLOW集中的符号 LL(1) 仅考虑产生式的首符号 SLR(1) 文法：SLR(1)分析表无冲突的CFG * SLR(1)分析的局限性 如果 SLR(1) 分析表仍有多重入口（移进-归约冲突或归约-归约冲突），则说明该文法不是 SLR(1) 文法； 说明仅使用 LR(0) 项目集和 FOLLOW 集还不足以分析这种文法 I0: S’→.S S→.L=R S→.R L→.*R L→.id R→.L I1: S’→S. I2: S→L.=R R→L. L I3: S→R. R I4: L→*.R R→.L L→.*R L→.id I5: L→id . * id I6: S→L=.R R→.L L→.*R L→.id = I7: L→*R. R I8: R→L. L I9: S→L=R. R * L id S S→L=R S→R L→*R L→id R→L * SLR分析中的冲突——更强的分析方法 I2 ={S → L.=R, R → L. } 输入符号为 = 时，出现了移进归约冲突： S → L .=R ∈