语法分析——自下而上分析.ppt

第五章 语法分析--自下而上分析 第五章语法分析——自下而上分析 所谓自下而上分析法就是从输入串开始，逐步进行“归约”，直至归约到文法的开始符号；或者说从语法树的末端开始，步步向上“归约”，直到根结。 5.1 自下而上分析基本问题 我们先讨论自下而上分析的一些基本思想和 基本概念： 5.1.1归约 自下而上分析的关键问题是寻找可归约串。对“可归约串”概念的不同定义，就形成了不同的自下而上的分析方法。在算符优先分析法中我们用“最左素短语”来刻画“可归约串”，在“规范归约”中，则用“句柄”来刻画“可归约串” 5.1.2 规范归约简述 在这一部分应掌握短语和直接短语和句柄三个重要概念 令G是一个文法，S是文法的开始符，假定???是文法G的一个句型，如果有： S?*?A? 且 A ?+ ? 则称?是句型???相对于非终结符A的短语。特别是，如果有 A ? ? 则称?是句型???相对于规则A? ?的直接短语，一个句型的最左直接短语成为该句型的句柄。注意：短语的两个条件是： S?*?A? 且 A ?+ ? [例5.1]考虑文法： E ? T|E+T T ?F|T*F F ?i | (E) （5.2） 对于句型i*i+i 推导 解： E→E+T→T+T→T*F+T→F*F+T→i*F+T→i*i+F → i*i+i 尽管有E ? +i+i 但是, i+i 并不是该句型的一个短语，因为不存在从E(文法开始符）到i*E的推导。但是，i, i*i,和i*i+ i 自身都是句型i*i+i 的短语。而且为为直接短语。 [例5。2] 上题文法（5。2）的另一个句型E+T*F+i 的短语有 E+T*F+i ,E+T*F, T*F,和i. 其中T*F和i为直接短语， T*F为句柄。 解：E→E+T→E+T+T→E+T*F+T→E+T*F+F→ E+T*F+i 关于规范归约精确的说，假定?是文法G的一个句子，我们称序列 ?n ?n-1 ?n-2, 。。。, ?0 是?的一个规范规约，如果此序列满足： （1） ?n = ?; (2） ?0 为文法的开始符,即 ?0 =S; （3）对于任何的i， 0i =n, ?i-1 是从? i 经把句柄替换为相应产生式的左部符号而得到的。 容易看到，规范归约是关于α的一个最右推导的逆过程。因此规范归约也成最左归约。 在形式语言中，最右推导常被称为规范推导。由规范推导所得的句型称为规范举行。如果文法G是无二义的，那么规范推导的逆过程必是规范归约。 5.1.3 符号栈的使用与语法树的表示 本节重点掌握符号栈的使用请阅读P87相应段落。 现在举个例子以加深对这一节的理解。 [例5.3]：对于文法（5.2）输入串i1*i2+i3 的分析（规范归约）步骤可表示如下： 步骤 符号栈 输入串 动作 0 # i1*i2+i3# 预备 #i1 *i2+i3# 读入i1 #F *i2+i3# 归约，F?i #T *i2+i3 # 归约，T ?F #T* i2+i3# 读入 #T*i2 +i3# 读入 #T*F +i3# 归约，F ?i #T +i3# 归约，T ?T*F #E +i3# 归约，E ?T # E+