编译原理张淑艳 compiler-principle05_04.pptVIP

* * * * * * * * * * * * 5.3.4 规范LR分析表的构造 有些归约是无效的 所以再限制归约的条件 I ={ S?L ? = R, R?L ? } = ∈follow(R) [A?α·β, a1a2…ak] 向前搜索符号串(展望) 展望信息只在归约时有效 若使用R?L归约， 归约后，栈中是R= 但是该文法不存在一个…R=…的规范句型，所以归约错误 5.3.4 规范LR分析表的构造 S=δAω= δαβω a∈first(ω) [A?α·β, a] 对活前缀δα有效 下一个符号是a的时候才可归约 例：S?BB B?aB|b 有规范推导 S=aaBab=aaaBab 有项目[B?a·B, a] 对活前缀aaa有效 5.3.4 规范LR分析表的构造 1、拓展文法, 同LR(0) 2、项目I的闭包closure(I) (1)I的任何项目都属于closure(I)； (2)若[A?α?Bβ,a] ? closure(I)， B?γ为一产生式，则对?b?FIRST(βa)， [B??γ,b] ? closure(I)；(思路见板书) (3)重复(2)，直至不产生新项目为止。 例： (0) S’?S  (1) S?BB  (2) B?aB  (3) B?b I={S’??S, #}Closure(I)={ S’??S, # S??BB, # B??aB, a/b B??b, a/b} 识别活前缀的DFA的构造 5.3.4 规范LR分析表的构造 1、拓展文法 2、项目I的闭包closure(I) 3、转换函数的构造 Go(I,x) = K 例： (0) S’?S  (1) S?BB  (2) B?aB  (3) B?b I={ S’??S, #  S??BB, # B??aB, a/b  B??b, a/b} Go(I, B) ={ S?B?B, # B??aB, #  B??b, #} 思路见板书 例： (0) S’?S  (1) S?BB  (2) B?aB  (3) B?b a I1 S’→?S, # S→?BB, # B→?aB, a/b B→?b, a/b S’→S?,# S→B?B,# B→?aB,# B→?b,# I2 S a B→a?B,a/b B→?aB,a/b B→?b,a/b I3 S→BB?,# b I5 B I0 I4 B→b?,a/b b a B→a?B,# B→?aB,# B→?b,# I6 B→b?,# B I7 B→aB?,# B I9 B→aB?,a/b B I8 b b a 4、文法G’的LR(1)项目集族的构造算法同LR(0) 规范LR分析表的构造算法 设项目集族C={I0,I1,…In} (1)若项目[A?α?aβ,b]属于Ik且Go[Ik,a]=Ij，a为终结符，则置Action[k,a]=Sj； (2)若项目[A?α?,a]属于Ik，置Action[k, a]=rj ，j为产生式A?α在文法中的编号； (3)若项目[S’?S?,#]属于Ik，则置Action[k, #]=acc； (4)若Go[Ik,A]=Ij，则置Goto[k,A]=j； (5)不能用(1)－(4)条填入信息的空白栏均填“出错标志”。 状态 ACTION GOTO a b ＃ S B 0 S3 S4 1 2 1 ACC 2 S6 S7 5 3 S3 S4 8 4 r3 r3 5 r1 6 S6 S7 9 7 r3 8 r2 r2 9 r2 LR(1)分析表 例： (0) S’?S  (1) S?BB  (2) B?aB  (3) B?b I1 S’→?S, # S→?BB, # B→?aB, a/b B→?b, a/b S’→S?,# S→B?B,# B→?aB,# B→?b,# I2 S a B→a?B,a/b B→?aB,a/b B→?b,a/b I3 S→BB?,# b I5 B I0 I4 B→b?,a/b b a B→a?B,# B→?aB,# B→?b,# I6 B→b?,# B I7 B→aB?,# B I9 B→aB?,a/b B I8 b b a a 课堂练习 (0) S’?S (1) S?rD (2) D?D,i (3) D?i I1 S’→?S, # S→?rD,