3.4 自下而上分析.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3.5 LR分析器 3.5.2 LR文法和LR分析方法的特点 1、概念 活前缀：右句型的前缀，该前缀不超过最右句柄的右端 2、定义 LR文法：我们能为之构造出所有条目都唯一的LR分析表 3.5 LR分析器 3、LR分析方法的特点 栈中的文法符号总是形成一个活前缀 3.5 LR分析器 栈 输 入 动 作 0 id ? id + id $ 移进 0 id 5 ? id + id $ 按F ? id归约 0 F 3 ? id + id $ 按T ? F归约 0 T 2 ? id + id $ 移进 0 T 2 ? 7 id + id $ 移进 0 T 2 ? 7 id 5 + id $ 按F ? id归约 0 T 2 ? 7 F 10 + id $ 按T ? T?F归约 . . . . . . . . . 0 E 1 $ 接受 3.5 LR分析器 3、LR分析方法的特点 栈中的文法符号总是形成一个活前缀 分析表的转移函数本质上是识别活前缀的DFA 3.5 LR分析器 例 E ? E + T | E ? T 下表绿色部分构成 T ? T ? F | T ? E 识别活前缀DFA的 F ? (E ) | F ? id 状态转换表 状态 动 作 转 移 id + ? ( ) $ E T F 0 s5 s4 1 2 3 1 s6 acc 2 r2 s7 r2 r2 3 r4 r4 r4 r4 4 s5 s4 8 2 3 3.5 LR分析器 3、LR分析方法的特点 栈中的文法符号总是形成一个活前缀 分析表的转移函数本质上是识别活前缀的DFA 栈顶的状态符号包含了确定句柄所需要的一切信息 3.5 LR分析器 栈 输 入 动 作 0 id ? id + id $ 移进 0 id 5 ? id + id $ 按F ? id归约 0 F 3 ? id + id $ 按T ? F归约 0 T 2 ? id + id $ 移进 0 T 2 ? 7 id + id $ 移进 0 T 2 ? 7 id 5 + id $ 按F ? id归约 0 T 2 ? 7 F 10 + id $ 按T ? T?F归约 . . . . . . . . . 0 E 1 $ 接受 3.5 LR分析器 3、LR分析方法的特点 栈中的文法符号总是形成一个活前缀 分析表的转移函数本质上是识别活前缀的DFA 栈顶的状态符号包含了确定句柄所需要的一切信息 是已知的最一般的无回溯的移进?归约方法 能分析的文法类是预测分析法能分析的文法类的真超集 能及时发现语法错误 手工构造分析表的工作量太大 3.5 LR分析器 4、LR分析方法和LL分析方法的比较 LR(1)方 法 LL(1)方 法 建立分析树的方式 自 下 而 上 自 上 而 下 3.5 LR分析器 4、LR分析方法和LL分析方法的比较 LR(1)方 法 LL(1)方 法 建立分析树的方式 自 下 而 上 自 上 而 下 归约还是推导 规 范 归 约 最 左 推 导 3.5 LR分析器 4、LR分析方法和LL分析方法的比较 在下面的推