ch5自底向上语法分析1.ppt

第五章 语法分析 ——自底向上语法分析 自底向上语法分析 5.1 自底向上分析的一般过程 5.2 算符优先分析 5.3 LR分析 5.1自底向上分析的一般过程 基本算法: 移进—归约分析（Shift-reduce parsing) 采用“移进－归约”思想进行自下而上分析。 基本思想：用一个寄存符号的先进后出栈，把输入符号从左至右地移进到栈里，当栈顶形成某个产生式的候选式时(可规约串)，即把栈顶的这一部分替换成(归约为)该产生式的左部符号。这样逐步归约, 直至文法开始符。即从语法树末端开始步步向上归约, 直至根结点。 例：设文法G(S)： (1) S ? aAcBe (2) A ? b (3) A ? Ab (4) B ? d 试对abbcde进行“移进－归约”分析。 这种分析过程具有如下特点： 从输入串的开始依次读入单词(移进栈中) 。 一旦发现可归约串(某个产生式的右端)就立即归约。 归约就是将栈顶的一串符号用文法产生式的左部代替，归约可能重复多次，然后继续移进。 若最终能归约成文法的开始符号，则分析成功。 由于总是将句型的最左边的可归约串替换成非终结符，该方法通常得到是最右推导。 关键是如何判断可归约串？ 语法分析树的生成演示 a b b c d e 5.1.2 规范归约 定义：令G是一个文法，S是文法的开始符号，假定???是文法G的一个句型，如果有 且 短语和简单短语的区别在于，简单短语中的第二个条件表示有产生式A??,因此，每个简单短语都是规则右部。 短语和简单短语都是针对某个句型的，离开具体的句型来谈短语和简单短语是无意义的。 直观来讲，短语就是某句型中的子串，这个子串是由某个非终结符通过至少一步推到得到的子串，而简单短语就是有某个非终结符通过一步推到得到的子串。 句柄是简单短语，所以必是某一产生式的右部。 考虑文法G(E)： E ? T | E+T T ? F | T*F F ? (E) | i 和句型i1*i2+i3： E ? E+T ? E+F ? E+i3 ? T+i3 ? T*F+i3 ? T*i2+i3 ? F*i2+i3 ? i1*i2+i3 短语： i1，i2，i3， i1*i2， i1*i2+i3 直接短语： i1，i2，i3 句柄： i1 在一个句型对应的语法树中，以某非终结符为根的两代以上的子树的所有末端结点从左到右排列就是相对于该非终结符的一个短语，如果子树只有两代，则该短语就是直接短语。 可用句柄来对句子进行归约 句型 归约规则 abbcde (2) A ? b aAbcde (3) A ? Ab aAcde (4) B ? d aAcBe (1) S ? aAcBe S 定义：假定?是文法G的一个句子，我们称序列 ?n， ?n-1，? ，?0 是的一个规范归约，如果此序列满足： 1 ?n= ? 2 ?0为文法的开始符号，即?0=S 3 对任何i，0 ? i ? n， ?i-1是从?i经把句柄替换成为相应产生式左部符号而得到的。 5.1.3 符号栈的使用和分析树的表示 栈是语法分析的一种基本数据结构。’#’作为栈底符号 考虑文法G(E)： E ? T | E+T T ? F | T*F F ? (E) | i 输入串为i1*i2+i3 ，分析步骤为： 步骤 符号栈 输入串 动作 0 # i1*i2+i3# 预备 1 #i1 *i2+i3# 进 2 #F *i2+i3# 归，用F→i 3 #T *i2+i3# 归，用T→F 4 #T* i2+i3# 进 步骤 符号栈 输入串 动作 4 #T* i2+i3# 进 5 #T*i2 +i3# 进 6 #T*F +i3# 归，用F→i 7 #T +i3# 归，用T→T*F 8 #E +i3# 归，用E→T 9 #E+ i3# 进 步骤 符号栈 输入串 动作 9 #E+ i3# 进 10 #E+i3 # 进 11 #E+F # 归，用F→i 12 #E+T # 归，用T→F 13 #E # 归，用E→E+T