第六章 语法分析-自下而上分析法.pdfVIP

第六章 语法分析 自下而上分析法 周开来 西南林业大学计算机与信息科学系 自下而上分析法(Bottom-up) 基本思想： 从输入串开始，逐步进行“ 归约”，直到文法的开始符号 即从树末端开始，向上构造语法树,直到根结点。 所谓归约，是指根据文法的产生式规则，把产生式的右 部替换成左部符号。 两种分析方法: 1. 算符优先分析法：按照算符的优先关系和结合 性质进行语法分析。适合分析表达式。 2. LR分析法：规范归约 一、自下而上语法分析的基本问题 1.归约: 如何判断栈顶符号的可归约性以及如何归约，是 自下而上分析的中心问题。 2.短语和句柄 * + 如果Ｓ⇒αＡβ and A ⇒γ，则称γ是句型 αγβ的相对于变量A的短语 * 如果Ｓ⇒αＡβ and A⇒γ，则称γ是句型 αγβ的相对于变量A的直接（简单）短语 最左直接短语叫做句柄 一、自下而上语法分析的基本问题 1.归约 (1)移进-归约法: 对输入的符号串 自左向右进行扫描, 并把输入符号逐 个移入一个后进先出栈中,边移入边分析,一旦栈顶 符号形成某个句型的句柄(该句柄对应某产生式的 右部),就用该产生式的左部非终结符代替相应右部 的文法符号串,这个过程称为一步归约. 重复这个过程,直至归约到栈中只剩下文法的开始符号 时则分析成功,也就确认输入串是文法的句子. 一、自下而上语法分析的基本问题 一步归约的形式化描述: 设G=(V * ,V ,S,P), α, β∈(V ∪V ) , A →β∈P, T N N T αAw ⇒ α βw 。 归约的过程是, 已知α βw和产生式A →β,用产生式 A →β左部A替换α βw 中的β,得到符号串αAw 自底向上的移进-归约过程是自顶向下推导的逆过程, 最右推导称为规范推导, 自左向右的归约也称为规范 归约. 例： 移进— 归约分析（Shift-reduce parsing) 要点：建立符号栈，用来纪录分析的历史和现状， 并根据所面临的状态，确定下一步动作是移 进还是归约。 输入串 # 符号栈 S.R.P # 输入串 # 符号栈 # S.R.P 分析过程：把输入符号串按自左向右顺序一一地 移进符号栈（一次移一个），检查栈中符号，当在栈 顶的若干符号形成当前句型的句柄时，就根据规则进 行归约，将句柄从符号栈中弹出，并将相应的非终结 符号压入栈内（即规则的左部符号），然后再检查栈 内符号串是否形成新的句柄，若有就再进行归约，否 则移进符号。分析一直进行到读到输入串的右界符为 止。最后，若栈中仅含有左界符号和识别符号，则表 示分析成功，否则失败 例： 移进— 归约分析（Shift-reduce parsing)