编译原理-LR分析法.pptVIP

第四章 语法分析——自上而下分析 第一步、构造识别文法规范句型活前缀的 DFA。 I0 = CLOSURE({S’→.S})={S’→.S, S→.Sb, S→.bAa}GO(I0,S) = CLOSURE({S’→S., S→S.b}) = {S’→S., S→S.b} = I1GO(I0,b) = CLOSURE({S→b.Aa)}) = {S→b.Aa, A→.aSc, A→.aSb, A→a.} = I2GO(I1,b) = CLOSURE({S→Sb.}) = {S→Sb.} = I3GO(I2,A) = CLOSURE({S→bA.a}) = {S→bA.a} = I4GO(I2,a) = CLOSURE({A→a.Sc, A→a.Sb, A→a.}) = {A→a.Sc, A→a.Sb, A→a., S→.Sb, S→.bAa} = I5GO(I4,a) = CLOSURE({S→bAa.)})= {S→bAa.} = I6GO(I5,S) = CLOSURE({A→aS.c, A→aS.b, S→S.b}) = {A→aS.c, A→aS.b, S→S.b} = I7GO(I7,c) = CLOSURE({A→aSc.) = {A→aSc.} = I8GO(I7,b) = CLOSURE({A→aSb.) = {A→aSb.} = I9 求 Closure{S’→·S}，可得初态项目集 I0 对已构造的项目集，应用状态转换函数 GO(I,X)求它们的后继项目集。 项目集 I1、I5 中存在移进－归约冲突，I9中存在归约－归约冲突，因此该文法不是 LR(0)文法。 I1:S’→S. S→S.b I4:S→bA.a I6:S→bAa. I2:S→b.Aa A→.aSc A→.aSb A→.a I8:A→aSc. I7:A→aS.c A→aS.b S→S.b I9:A→aSb. S→Sb. A→a. A→a.Sb S→.bAa S→.Sb I5:A→a.Sc S A a a b b S c b I3:S→Sb. b I0:S’→.S S→.Sb S→.bAa 第二步、考虑含冲突的项目集能否用 SLR(1) 方法解决。 1、 I1 = {S’→S., S→S.b}  由于：FOLLOW(S’) ∩ {b} = {$} ∩ {b} = Φ 移进－归约冲突可以解决。 2、 I5 = {A→a.Sc, A→a.Sb, A→a., S→.Sb,S→.bAa} 由于：FOLLOW(A) ∩ {b} = {a} ∩ {b} = Φ 移进－归约冲突可以解决。 3、 I9 = {A→aSb., S→Sb.} 由于：FOLLOW(A) ∩ FOLLOW(S) = {a} ∩ {b,c,$} = Φ 归约－归约冲突可以解决。 所以该文法是 SLR(1) 文法。 第三步、构造相应的 SLR(1) 分析表。 7 S2 r5 5 r2 r2 r2 6 S8 S9 7 r3 8 4 A r1 r1 acc # r1 r1 c r1 r1 S3 S2 b S a r4 9 S6 4 3 S5 2 1 1 0 GOTO ACTION 状态 SLR(1) 小结 SLR(1) 分析法是一种简单而实用的方法，其构造分析表算法简单，状态数目少，且大部分程序设计语言都可以用 SLR(1) 文法来定义。 但是仍存在这样一些文法，其项目集中的“移进－归约冲突”或“归约－归约冲突”不能用 SLR(1) 方法解决。 每个 SLR(1) 文法都不是二义的，但有些非二义的文法不是 SLR(1) 文法。 【例4.18】 0. S’?S 1. S?L=R2. S?R 3. L?*R4. L?i5. R?L 可以把 L 和 R 想象成分别代表左值和右值，而*代表一个“取单元内容”的操作符。左值表示一个位置，右值是可以保存在位置中的值。 项目集 I2 中存在移进－归约冲突。I2 = {S→L.=R, R→L.}但是 FOLLOW(R) ∩ {=} = {=,#} ∩ {=} ? Φ因此，I2 中存在移进－归约冲突不能用 SLR(1) 方法解决。 I1:S’→S. I2:S→L.=R R→L. I6:S→L=.R R→.L L→.*R L→.i I5:L→i. I8:R→L. I7:L→*R. L→.i R→.L L→.*R I4:L→*.R S L = * i b R L * I9:S→Sb. R I0:S’→.S S→.L=R S→.R