网络编程第章幻灯片.ppt

* 2、算法 LR(1)分析表的构造 输入：一个拓广的文法G’。 输出：对应G’ 的LR(1)分析表。 方法： 1.构造G’的LR(1)有效项目集族C={I0,I1,…，In} 2.对于代表项目集Ik 的状态k，分析动作如下： (a)若[A→α·aβ,b]∈IK 且go(IK,a)=Ij, 则置 action[k，a]=Sj Ij :closure({[A→αa·β,b]}) a Ik : [A→α·aβ,b] * (b)若［A→α·,a]∈Ik 且A≠S，则置 action[k，a]=r(A→α) (c) 若B∈Vn, [A→α·Bβ,b]∈IK go(Ik,B)=Ij， 则置goto[k，B]＝j Ij : closure({[A→αB·β,b]}) B Ik:[A→α·Bβ,b] (d)若［S→S·,#]∈Ik,则置 action[ k，#] ＝acc (accept) (e)分析表中凡不能用以上规则填入信息的空白格上均 置出错标志“error”。 Ik :[A→α·,a] * 按上述算法构造的分析表，如果不存在多重定义的 入口(即不存在动作冲突)，则称它是文法G的一张 LR(1)分析表(规范LR分析表)。 使用这张分析表的分析器，称为LR(1)分析器(规范 LR分析器)。 具有LR(1)分析表的文法，称为一个LR(1)文法。 LR(1)分析法强于LR(0)分析法 * 文法的LR(1)分析表 p61 * LR(1) 分析表的构造 状态集的计算方法和 LR(0) 基本相同 分析表的构造方法和 LR(0) 基本相同 构造方法的不同点： 归约动作的选择： LR(0) 分析考虑所有终结符 SLR(1) 分析参考 FOLLOW 集，为了确定归约 LR(1) 分析仅考虑 LR(1)项目中的后继符（归约展望集） 简化 LR(1) 分析 减少资源开销 ( lookahead-LA ) 在不带来移进归约冲突的条件下，合并状态，重构分析表 可行性（合并条件） LR(1) 项目有相同的 LR(0) 项目，但后继符可能不同 (可能带来归约-归约冲突) 7.5 LALR分析表的构造 * LALR(1) 的分析能力 1.高于 SLR(1) 分析 合并的后继符仍为 FOLLOW 集的子集 2.低于 LR(1) 分析 3.局限性 合并中不出现归约-归约冲突 LALR(1) 文法定义的依据 * LALR(lookahead-LR即先行LR)法。这种方法在实际中是经常使用的。 ???? 定义:如果两个LR(1)项目集去掉向前搜索符之后是相同的,则称这两个项目集具有相同的心(core)。  一个心就是一个LR(0)项目集。 思路：对于文法G，构造LR(1)项目集规范族(DFA)，然后，合并同心集，若合并后的同心集中没有冲突，则用其构造LR分析表,这种分析表称作LALR分析表。?? [S’??S,#] [S??BB,#] [B??aB,a/b] [B??b,a/b] I0 S [S’?S?,#] I1 B [S?B?B,#] [B??aB,#] [B??b,#] I2 a [B?a?B,a/b] [B? ?aB,a/b] [B??b,a/b] I3 b [B?b?,a/b] I4 B [S?BB?,#] I5 a [B?a?B,#] [B??aB,#] [B??b,#] I6 B [B?aB ?,#] I9 b [B?b?,#] I7 a b a B [B?aB?,a/b] I8 b I3、I6 I4、I7 I8、I9 例 G(S’): (0) S’?S (1) S ?BB (2) B?aB (3) B?b b [B?aB ?,a/b] [B?aB ?,a/b/#] [B?b?,a/b] [B?b?,a/b/#] [B?b?,#] [S’??S,#] [S??BB,#] [B??aB,a/b] [B??b,a/b] I0 S [S’?S?,#] I1 B [S?B?B,#] [B??aB,#] [B??b,#] I2 a [B?a?B,a/b] [B? ?aB,a/b] [B??b,a/b] I3 b I4 B [S?BB ?,#] I5 a [B?a?B,#] [B??aB,#] [B??b,#] I6 B [B?aB ?,#] I9 b I7 a a B I8 b a [B?a?B,a/b/#] [B??aB,a/b/#] [B??b,a/b/#] I47 I89