第5节 自下而上的语法分析(tsu版本电子教本).docVIP

PAGE 第PAGE 7页 共 NUMPAGES 7页 第5章 自下而上的语法分析（Tsu版电子教案） 第5章 自下而上的语法分析 从叶结点出发，步步向上归约。若能归约到根结点，说明输入串是文法的一个句子，否则输入串存在语法错误。 5.1 自下而上的语法分析概述 ㈠概述 实质上是一种移进归约法，设置一个栈，将输入串符号逐个移进栈内，一旦发现栈顶形成某个产生式的候选式时，立即将栈顶这一部分符号替换（归约）成该产生式的左部符号。 例给定文法Ｇ： S→aAcBe A→b | Ab B→d 和输入串abbcde，其移进归约过程如下所示： e d B B b c c c c b A A A A A A A a a a a a a a a a S 移 移 归 移 归 移 移 归 移 归 ① ② ③ ④ ⑤ ⑥ ⑦ ⑧ ⑨ ⑩ 因最终归约到根结点，输入串abbcde是文法的一个句子。 ㈡问题 从第④步到第⑤步有二种选择，可将b归约成A，栈顶成aAA；也可将Ab归成A，栈顶成aA，显然后者是正确的，故需精确定义可归约串。 ㈢句柄和规范归约 ①短语 ②直接短语（简单短语） ③句柄 继续问题的讨论。句型aAbcde中存在三个短语，它们是Ab、d和aAbcde，其中Ab和d是直接短语，句柄是Ab。不能因为存在规则A→b，就断定b是这个句型的一个短语，b不是句柄，甚至连短语都不是。 ④规范归约（最左归约） ⑤规范句型 ⑥规范推导 ⑦图解法 5.2 LR分析法的基本原理 ㈠前缀 ㈡活前缀 ㈢LR分析法的基本思想 ㈣LR(0)项目（简称项目） 在产生式右部的某个位置添加一个园点“.”。特例，A→ε的项目为A→.。 例文法 S→E E→aA A→cA A→d E→d 这个文法的项目有 eq \o\ac(○,1)S→.E eq \o\ac(○,2)S→E. eq \o\ac(○,3)E→.aA eq \o\ac(○,4)E→a.A eq \o\ac(○,5)E→aA. eq \o\ac(○,6)A→.cA eq \o\ac(○,7)A→c.A eq \o\ac(○,8)A→cA. eq \o\ac(○,9)A→.d eq \o\ac(○,10)A→d. eq \o\ac(○,11)E→.d eq \o\ac(○,12)E→d. ㈤构造识别活前缀的NFA ①将每个项目视为识别活前缀NFA的一个状态。 ②规定状态S→.S为NFA的唯一初态，状态S→S.为NFA的唯一接受态（S为原文法开始符号，S为拓广文法开始符号）。 ③因在每个状态都可识别出一个活前缀（初态可识别出活前缀ε），故NFA的每个状态都是终态，终态又称为活前缀识别态。 ④如果状态i和状态j源自于同一产生式，而且状态i和状态j的园点位置相差一个文法符号，例状态i为 i:X→X1……Xi-1 .XiXi+1……Xn 状态j为 j:X→X1……Xi-1Xi .Xi+1……Xn 那么状态i和j之间存在一条弧，标记为Xi，表示在状态i读入Xi进入状态j。 ⑤若状态i园点之后的符号为非终结符（例i:X→α .Aβ），那么从状态i画一条ε弧到所有k:A→.γ状态。表示只有看到了从A推出的全部符号，状态i: X→α .Aβ才可经A弧进入状态j: X→αA.β。 接上例，构造识别文法活前缀的NFA，如下所示： ε eq \o\ac(○,6)A→.cA eq \o\ac(○,7)A→c.A A eq \o\ac(○,8)A→cA. c ε ε eq \o\ac(○,9)A→.d d eq \o\ac(○,10)A→d. ε eq \o\ac(○,3)E→.aA a eq \o\ac(○,4)E→a.A A eq \o\ac(○,5)E→aA. ε  eq \o\ac(○,1)S→.E E eq \o\ac(○,2)S→E. ε eq \o\ac(○,11)E→.d d eq \o\ac(○,12)E→d. 其中 eq \o\ac(○,1)称为初态（含有S→.E的项目），状态 eq \o\ac(○,2)、 eq \o\ac(○,8)、 eq \o\ac(○,10)、 eq \o\ac(○,5)和 eq \o\ac(○,12)称为句柄识别态（含有形如A→γ.的项目），其中 eq \o\ac(○,2)又称为接受态（含有