语法剖析自底向上剖析.pptVIP

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