语法分析自底向上分析编译原理二.pdfVIP

第五章 语法分析— 自底向上分析 5.1 基本问题 5.1 基本问题  方法  方法 从句子出发，反复利用产生式做归约 （用 从句子出发，反复利用产生式做归约 （用 产生式的左部替代右部），逐步构造语法分 产生式的左部替代右部），逐步构造语法分 析树，最后得到文法的开始符号 析树，最后得到文法的开始符号  核心  核心 寻找句型与句柄的匹配 寻找句型与句柄的匹配 分析方法 例 5-1：  例 5-1： S → a A c B e S → a A c B e A → A b ｜b A → A b ｜b B → d B → d 分析过程: 分析过程: abbcde → aAbcde → aAcde abbcde → aAbcde → aAcde → aAcBe → S → aAcBe → S 语法分析树的生成 S S → a A c B e A A → A b A B A → b B → d a b b c d e a b b c d e 句柄：最左直接短语  短语：  短语： 设文法Ｇ＝｛Ｖ ，Ｖ ，Ｐ，Ｓ｝ 设文法Ｇ＝｛Ｖ ，Ｖ ，Ｐ，Ｓ｝ T N T N * + 若 Ｓ * αＡδ 且 Ａ + β， 若 Ｓ αＡδ 且 Ａ β， 则称 β是句型 αβδ相对于非终结符Ａ的短语 则称 β是句型 αβδ相对于非终结符Ａ的短语 * *  若Ｓ αＡδ 且Ａ= β，则称β是直接短  若Ｓ αＡδ 且Ａ= β，则称β是直接短 语。 语。 规范归约的定义  设 α为文法 G 的句子，称序列 α ，...， n α ，α 为 α的规范归约，其中 1 0  1) αn = α  2) α0 = Ｓ （开始符号）  3) 对每个 i (1 = i = n)，αi-1 是将αi 中的句柄归约后得到的 规范归约  规范归约是规范推导(最右推导)的逆 过程  中心问题是如何寻找和确定一个句型 中的句柄  各种自底向上分析采用不同的方法确 定句柄 移进归约分析器 输入缓冲区