西安交通大学考研资料(编译原理)----第五章 自下而上的语法分析.pdfVIP

第五章 自下而上的语法分析 自下而上分析法 自下而上的分析是自上而下分析的逆过程。它是从句子出发开始分析，逆向使用产生式 逐步归约，直到归约到文法的开始符号的过程。从分析语法树角度讲，就是从语法树的叶结 点（句子）出发，自下而上逐层构造语法树，每一层对应归约过程中的一个句型。即从语法 树的末端开始，一步步向上归约直到根结点过程。 自下而上的分析法是按照移进—归约法的原理建立起来的一种语法分析方法。 自下而上分析的关键问题是：在分析过程中，如何确定句型中的归约子串。当给出一 个唯一确定的归约子串时，也就给出了一种自下而上的语法分析方法。 常用的自下而上的语法分析有：算符优先分析法和 LR 分析法。 一、自下而上的基本问题 1．归约 如何判断栈顶符号的可归约性以及如何归约——是自下而上分析的中心问题。 （1）移进—归约法（分析法）： 对输入的符号串 自左向右进行扫描，并把输入符逐个移入（推入）一个后进先出符号 栈中，边移入边分析，一旦栈顶符号形成某个句型的句柄 （可归约串——该句柄对应 于某个产生式的右部），就用该产生式的左部非终结符代替相应右部的文法符号串，这 个过程称为——一步归约。 重复这个过程，直至归约到分析栈中只剩下文法的开始符号，输入串只剩下句子的右界 符时，分析成功，也就确认输入串是文法的正确句子。 一步归约的形式化描述： 设 G ＝（VT ，VN ，S，P ），α、β∈（VT ∪VN ）*，A→β∈P ，αAw ⇒αβw 。 归约的过程——已知串αβw 和产生式 A→β，用产生式 A→β 的左部A 替换 αβw 中的β， 得到的符号串 αAw 。 推导：产生式右部替换左边 αAw A→β αβw 归约：产生式左部替换右部 自底向上的移进—归约过程，是自顶向下的最右推导的逆过程。编译界将最右推导称为 规范推导，那么自左向右的归约也称为规范归约 （本章介绍的都是规范归约）。 例如：文法 G[S] (1)S →aAcBe (2)A →b 对输入串＃abbcde ＃进行分析，检查该串是不是G[S] 的句子。 (3)A →Ab (4)B →d 解：（1）容易看出，对输入串＃abbcde ＃的最右推导是： ( 1 ) ( 4 ) ( 3 ) ( 2 ) S ⇒ a A c B e ⇒ a A c d e ⇒ a A b c d e ⇒ a b b c d e （2 ）由上面的最右推导，我们来构造它的逆过程，也就是归约过程。 先设一个后进先出的栈，并把句子左括号‘＃’放入栈底，分析时将输入符号串按从 左到右的扫描顺序移入栈中。其分析过程如下表所示： 步骤 符号栈 输入符号串 动作 注释 将输入串中的＃ 1 # abbcde # 移进＃ 移进栈底 2 # a bbcde # 移进 a 移进 a，a 不是句柄，不能归约 移进 b ；b 是某个产生式的右部， 3 # a b bcde # 移进 b 需要归约 按 A→b 将 b 归约为 A ；aA 不是 4 # a A bcd