CHAPTER 4（语法分析 2）.pptVIP

第一章：编译概述 Chapter4Syntax Analysis 语法分析概述 （An overview of parsing） 自顶向下分析（Top-down Parsing） 自底向上分析（Bottom-up Parsing） LR 分析（LR Parser） 4.3 自底向上分析 自底向上分析： 4.3 自底向上分析 例： E ? T + E | T T ? int * T | int | (E) 4.3 自底向上分析 4.3 自底向上分析 4.3 自底向上分析 4.3 自底向上分析 4.3 自底向上分析 4.3 自底向上分析 4.3 自底向上分析 4.3 自底向上分析 4.3 自底向上分析 4.3 自底向上分析 4.3 自底向上分析 4.3 自底向上分析 注： 4.3 自底向上分析 自底向上分析法，又称为移进-归约法，它的实现思想： 4.3 自底向上分析 自底向上分析法的关键问题是： 4.3 自底向上分析 几个概念 句柄（handle） 如果 ，称 是 的一个句柄 简称 是一个句柄 性质：句柄总是出现在栈的顶端。 4.3 自底向上分析 冲突 移进/归约冲突：即使知道了栈的所有内容以及接下来的k个输入符号，仍然无法判断应该进行移进还是归约操作 归约/归约冲突：无法在可能的多个归约方法中选择正确的归约动作。 4.3 自底向上分析 * * 从叶子到根来建立句子的分析树。 或，给出一个从句子出发到开始符号的归约序列 E T E + int * int T int T 句子: 步骤 (1) + int * int int ? |int * int + int 步骤 (2) + int * int int ? |int * int + int int | * int + int 步骤 (3) + int * int int ? |int * int + int int | * int + int int * | int + int 步骤 (4) + int * int int ? |int * int + int int | * int + int int * | int + int int * int | + int 步骤 (5) + int * int int ? |int * int + int int | * int + int int * | int + int int * int | + int int * T | + int T 步骤 (6) + int * int int ? |int * int + int int | * int + int int * | int + int int * int | + int int * T | + int T T | + int T 步骤 (7) + int * int int ? |int * int + int int | * int + int int * | int + int int * int | + int int * T | + int T T | + int T T + | int 步骤 (8) + int * int int ? |int * int + int int | * int + int int * | int + int int * int | + int int * T | + int T T | + int T T + | int T + int | 步骤 (9) + int * int int ? |int * int + int int | * int + int int * | int + int int * int | + int int * T | + int T T | + int T T + | int T + int | T + T | T 步骤 (10) + int * int int ? int * int | + int int * T | + int T T | + int T T + | int T + int | T + T | T T + E | E 步骤 (11) + int * int int ? int * int | + int int * T | + int T T | + int T T + | int T + int | T + T | T T + E | E E | E 右句型（规范句型）：最右推导得到的句型 每一步都是将右句型的最左可归约串（句柄）归约为产生式的左部符号 分析过程是寻找一个（最左）归约序列的过程 输出的是一个产