45自底向上分析把一个输入符号串逐步归约到文法的开始符.pptVIP

* * 4.5 自底向上分析 把一个输入符号串逐步归约到文法的开始符号。 这种方法的大致过程是，用一个栈，把输入符号一个一个地移进到栈里，当栈顶形成某个产生式的右部（ 句柄）时，把栈顶的这一部分替换成(归约为)它的左部符号。称作“移进—归约”分析。 4.5.1 规范归约 句柄 4.5.2 “移进—归约”分析的栈实现 4.5.1 规范归约 归约 G=(VT,VN,S,P),α, β ∈(VT∪VN)*,A→β∈P, αAw ?αβw 。归约的过程是，已知αβw和产生式A→β，用产生式A→β左部A替换αβw中的β，得到符号串αAw。 ? 从输入符号串出发?，每次从被归约的句型中找到一个产生式的右部??，用其左部替换之，得到新的句型 ，直至归约到文法的开始符号。 因为从左至右读入输入符号串，自然在被归约的句型中找最左边的某个产生式的右部（句柄）进行归约。 ?例4.12 G[S](4.12),其产生式如下： ????①S→aABe ②A→b ????③A→Abc ??④B→d? (4.12) 输入串? abbcde aAbcde aAde aABe S ??? ?????????S?aABe ? aAde ? aAbcde? abbcde ?? a b b c d e ?abbcde A ?aAbcde A ?aAde B S ?aABe S ?例4.12 G[S](4.12),其产生式如下： ????①S→aABe ②A→b ????③A→Abc ??④B→d? (4.12) 输入串? abbcde aAbcde aAde aABe S ??? ?????????S?aABe ? aAde ? aAbcde? abbcde ?? a b b c d e ?abbcde A ?aAbcde A ?aAde B S ?aABe S 句柄 找句柄是非常重要的。 某个产生式A? ?的右部?。 abbcde aAbcde b是产生式A? b的右部,但b不是句柄。?? 形式的说，右句型(最右推导可得的句型) γ的句柄是一个产生式A→β和γ中的一个位置，从这个位置开始往右可找到β，用A代替β得到γ最右推导的前一个右句型，即 如果S ?Aw ? βw,那么，在?后A→β是? βw的句柄。w是未读入的终结符号。 *?? rm ? rm S A ? ? w ?Aw? ? ?w 已知? ?w，分析已识别出?，产生式A? ? 的右部?，再看待输入串w的最左边符号，用A替换?得到?Aw； 自上而下分析是从w A?，看FIRST(?), w A? ? w ? ? ?定义4.3 假定?是文法G的一个句子。称右句型序列 ?n , ?n-1,…, ? 1, ? 0 是 ?的一个规范归约，如果序列满足 ????1. ? n= ? ， ? 0=S； ????2.?i(0 ≤ i n），?? ?i ?i+1 规范归约是关于?的一个最右推导的逆过程。 如果文法G是无二义的，那么，规范推导(最右推导)的逆过程必是规范归约(最左归约)。 ? βw 表示一个规范句型, ?是在β归约之前进行的规范归约得到的结果, ? ?(VT?VN)* , w ? VT*。句柄的“最左”特征使得在移进-归约方法中，它处于符号栈的栈顶。 ? rm 二义性文法存在规范归约不唯一的句子。例如，文法??G[E]: ? E→E＋E ? E*E ?(E) ? id  ?句子id＋id*id有二个不同的最右推导?: ??????E?E+E ? E?E*E ? E＋E*E ? E *id ??????????E＋E*id3 ? E+E*id??????????E+id2*id3 ? E+id*id????????? id1+id2*i