编译原理与技术演示课件.pptVIP

识别活前缀的LR(1)项目集族 closure(I) 1）I ? closure(I) 2）若项目[A???B?,a]∈I，B??∈P，则项目 [B???,b] ∈ closure(I), b∈First(?a) 3）重复2）直至closure(I)不再增大 goto(I,X) J=closure( { [A??X??,a] | [A???X?,a] ∈I } ) 初始项目I0=closure({ [S’??S,$] } ) 精选编制 LR(1)分析表 构造LR(1)分析表 －归约动作只填在搜索符名下； －其它同SLR(1) LR(1)文法－其LR(1)分析表没有多重定义表项。 文法G9虽不是SLR文法，但却是LR(1)文法。 精选编制 e.g.25 识别G9活前缀的LR(1)部分项目集族 I0：[S’??S,$] [S??L=R,$] [S??R,$] [L??*R,=/$] [L??id,=/$] [R??L,$] I2：[S?L?=R,$] [R?L?,$] L 下一输入符是=时移进 只有碰到结束符$时才归约 冲突解决了！ 精选编制 e.g.26 文法G10的LR(1)分析表 文法G10 (0) S’?S (1) S?BB (2) B?bB (3) B?a I0=closure({ [S’??S,$] }) [S’??S,$] [S? ? BB,$] [B? ? bB, a/b] [B? ? a, a/b] Follow(S)={$} Follow(B)={a,b,$} First(S)={a,b} First(B)={a,b} 精选编制 I0: [S’??S,$] [S??BB,$] [B??bB, a/b] [B??a, a/b] I1: [S’?S?,$] I2: [S?B?B,$] [B??bB, $] [B??a, $] I3: [B?b?B, a/b] [B??bB, a/b] [B??a, a/b] I4: [B?a?, a/b] S B b a I5: [S?BB?,$] B I6: [B? b?B, $] [B??bB, $] [B??a, $] b I7: [B?a?, $] a I8: [B?bB?, a/b] B b a b I9: [B? bB?, $] B a e.g.26 识别活前缀的LR(1)项目集族 精选编制 e.g.26 文法G10的LR(1)分析表 状 态 action goto a b $ S B 0 s4 s3 1 2 1 acc 2 s7 s6 5 3 s4 s3 8 4 r3 r3 5 r1 6 s7 s6 9 精选编制 e.g.26 文法G10的LR(1)分析表（续） 状 态 action goto a b $ S B 7 r3 8 r2 r2 9 r2 精选编制 I0: [S’??S] [S??BB] [B??bB] [B??a] I1: [S’?S?] I2: [S?B?B] [B??bB] [B??a] I3: [B?b?B] [B??bB] [B??a] I4: [B?a?] S B b a I5: [S?BB?] B I8: [B?bB?] B b a e.g.27 识别文法G10 活前缀的LR(0)项目集族 b a 精选编制 LALR(1)分析 LR(1)分析功能最强，但分析表远比SLR(1) 大(状态数多) 。 同心集－两个（以上）LR(1)项目集合若忽略搜索符后它们的LR(0)项目集合相同。 e.g.26中状态I3与I6、I8与I9以及I4和I7分别是同心集。 LALR(1)分析 － 通过合并LR(1)项目集族中的同心集（即保持同心集合的LR(0)项目集合不变，而对应项目的搜索符加以合并同时调整相应的状态转换）以减少状态、压缩分析表。（合并后其状态数和相应的SLR(1)状态数一样，但带有搜索符） － 若状态I和J同心则goto(I,X)和goto(J,X)也同心。 精选编制 I0: [S’??S,$] [S??BB,$] [B??bB, a/b] [B??a, a/b] I1: [S’?S?,$] I2: [S?B?B,$] [B??bB, $] [B??a, $] I36: [B?b?B, a/b/$] [B??bB, a/b/$] [B??a, a/b/$] I47: [B?a?, a/b/$] S B b a I5: [S?BB?,$] B I89: [B?bB?, a/b/$] B b a e.g.28 文法G10的LALR项目集族－合并例26中同心集 b a 精选编制