5.3.2-LR(0)项目集族和LR(0)分析表的构造课件.pptVIP

第五章 语法分析 5.1 自下而上分析基本问题 5.2 算符优先分析 5.3 LR分析 5.4 YACC 5.3 LR分析 5.3.1 LR分析器 5.3.2 LR(0)项目集族＆LR(0)分析表的构造 5.3.3 SLR分析表的构造 5.3.4 规范LR分析表的构造 5.3.5 LALR分析表的构造 5.3.6 二义文法的应用 5.3.2 LR(0)项目集族＆LR(0)分析表的构造 一、前缀、活前缀 p104 二、构造识别文法所有活前缀的DFA p104 三、LR(0)项目集规范族的构造 p106 四、有效项目 p108 五、LR(0)分析表的构造 p109 一、前缀、活前缀 前缀 : 符号串的头 活前缀 : 规范句型的一个前缀, 这种前缀不包含句柄之后的任何符号. *可归前缀: 包含句柄的活前缀. 规范推导序列 S =aAcBe =aAcde =aAbcde =abbcde ε,a,ab ε,a,aA,aAb ε,a,aA,aAc,aAcd ε,a,aA,aAc,aAcB,aAcBe 活前缀 可归前缀 ab , aAb, aAcd , aAcBe 补充例: 找出句型 #abbcde# 的所有活前缀 G:S→aAcBe [1]　　 A→b [2]　　 A→Ab [3]　　 B→d [4] a b b c d e A A B S 当栈顶出现可归前缀即可归约 步 骤 符号栈 剩余 输入串 动作 1 # abbcde# 移进 2 #a bbcde# 移进 3 #ab bcde# 归约 A→b 4 #aA bcde# 移进 5 #aAb cde# 归约 A→Ab 6 #aA cde# 移进 7 #aAc de# 移进 8 #aAcd e# 归约 B→d 9 #aAcB e# 移进 10 #aAcBe # 归约 S→aAcBe 11 #S # 接受 a b b c d e A A B S 栈里的文法符号与剩余符号串一起构成了规范句型 栈里的文法符号构成活前缀 S =aAcBe =aAcde =aAbcde =abbcde 规范推导序列 #abbcde#的规范归约过程 S =S =aAcBe =aAcde =aAbcde =abbcde 规范推导序列 识别句型#abbcde#所有活前缀的DFA S a b a A b a A c d a A c B e ε ε ε ε ε 确定化 最小化 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进行 移近-归约分析 (见黑板) a c e b d # S A B 0 2 1 1 2 3 4 3 4 6 5 5 6 7 8 7 8 9 9 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] r r r r r r r r r r r r r r r r r r r r r r r r acc S S S S S S GOTO ACTION 2 2 2 2 2 2 3 3 3 3 3 3 4 4 4 4 4 4 1 1 1 1 1 1 LR分析表 DFA的矩阵表示 一个LR分析器实质上是一个DFA 小结 识别文法所有活前缀的DFA LR分析表 LR分析 二、构造识别文法所有活前缀的DFA 1. LR(0)项目 2. 构造识别文法所有活前缀的DFA 3. LR(0)项目的分类 求出文法所有的活前缀 根据产生式得出可能出现在栈中的符号串 1. LR(0)项目 在文法G中每个产生式的右部适当位置添加一个圆点构成项目. 对空产生式A→ε , 仅有项目A→·　 例: 产生式 A? XYZ 对应的项目有 A?·XYZ A?X·YZ A?XY·Z A?XYZ· 一个产生式可对应的项目个数是它的右部符号长度加1 每个项目的含义与圆点的位置有关 补充例 对应的项目: (1)S?·aAd (2)S? a·Ad (3)S? aA·d (4)S? aAd· (5)A?·