编译原理课件_语法分析_自下而上__LR(0)项目集规范族的构造.pptVIP

使文法的开始符号不出现在任何产生式右部，当栈顶出现S′,则分析完成 * * * YTU COMPILER 1. 构造识别文法所有活前缀的DFA 0 2 4 5 1 3 6 8 9 7 S a A b c B e d * b G:S→aAcBe [1] A→b [2] A→Ab [3] B→d [4] ~~ 构造识别文法所有活前缀的DFA G: S→S [0] S→aAcBe [1] A→b [2] A→Ab [3] B→d [4] ? 拓广文法 ~~ 构造识别文法所有活前缀的DFA 0 2 4 5 1 3 6 8 9 7 S a A b c B e d * b G: S→S [0] S→aAcBe [1] A→b [2] A→Ab [3] B→d [4] ? LR(0)项目 ? LR(0)项目集 精细刻画 每个状态 I0 S→ ?S S → ?aAcBe ? LR(0)项目集规范族 ~~ 构造识别文法所有活前缀的DFA 0 2 4 5 1 3 6 8 9 7 S a A b c B e d * b G: S→S [0] S→aAcBe [1] A→b [2] A→Ab [3] B→d [4] ? 状态转换函数 GO(I, X) I1 S→ S? S a I2 S→ a?AcBe A→ ?b A→ ?Ab ? 闭包函数 CLOSURE(I) I0 S→ ?S S → ?aAcBe ~~ 构造识别文法所有活前缀的DFA 0 2 4 5 1 3 6 8 9 7 S a A b c B e d * b G: S→S [0] S→aAcBe [1] A→b [2] A→Ab [3] B→d [4] ? 状态转换函数 GO(I, X) ? LR(0)项目 ? LR(0)项目集 ? LR(0)项目集规范族 ? 项目集I的闭包函数 CLOSURE(I) ? 拓广文法 ? 拓广文法 Augmemted Grammar 文法G的开始符号为 S, 在G中加入 S→S 后得到文法G的拓广文法 G 注:即使原开始符号S不出现在任何产生式右部,为了统一起见也要增加该产生式。 G: S→S [0] S→aAcBe [1] A→b [2] A→Ab [3] B→d [4] ? LR(0)项目定义 在文法G中每个产生式的右部适当位置添加一个圆点构成项目 对空产生式 A→ε , 仅有项目A→ ?　 例: 产生式 A? XYZ 对应的项目有 A? ? XYZ A? X ? YZ A? XY ? Z A? XYZ ? 项目的含义 I1 S→ S? S a I2 S→ a?AcBe A→ ?b A→ ?Ab I0 S→ ?S S → ?aAcBe ? LR(0)项目的分类 移进项目: A→α ? aβ 待约项目: A→α ? Bβ 归约项目: A→α ? 接受项目: S→S ? ? 项目集I的闭包函数 CLOSURE(I) a) I 的项目均在 CLOSURE(I) 中。 b) 若A→α?Bβ属于CLOSURE(I), 则每一形如 B→?γ的项目也属于CLOSURE(I) c) 重复b)直到CLOSURE(I)不再扩大。 I = { S→ a?AcBe } CLOSURE(I) = { S→ a?AcBe , A → ?b , A → ?Ab } G: S→S [0] S→aAcBe [1] A→b [2] A→Ab [3] B→d [4] ? 核 Kernel Item 核 Kernel Item - 圆点不在产生式右部最左边的项目称为核 - S‘→ ?S 除外 I1 S→ S? S a I2 S→ a?AcBe A→ ?b A→ ?Ab I0 S→ ?S S → ?aAcBe ? 状态转换函数 GO(I, X) GO(I, X) = CLOSURE(J)　 J = {A→αX?β| A→α?Xβ∈I } I A→α?Xβ J A→αX?β X I1 S→ S? S a I2 S→ a?AcBe A→ ?b A→ ?Ab I0 S→ ?S S → ?aAcBe G: S→E　　 E→aA|bB　　 A→cA|d B→cB|d I0: S?