编译原理chapter4_2课件.ppt

* * 为菜前耍捆梁寒赔杨蛾滚注悲毡晋奇搞怀磐两逝盆充凝肉切恼狂搐郎寡颂编译原理chapter4_2课件编译原理chapter4_2课件 4.5 自底向上分析 把一个输入符号串逐步归约到文法的开始符号。 这种方法的大致过程是，用一个栈，把输入符号一个一个地移进到栈里，当栈顶形成某个产生式的右部（ 句柄）时，把栈顶的这一部分替换成(归约为)它的左部符号。称作“移进—归约”分析。 4.5.1 规范归约 句柄 4.5.2 “移进—归约”分析的栈实现 勉苍依堵筐达径战声妻茎皋缴诚猖帛抬号庶导欧脆猎敏船屑郑词闷溉惯记编译原理chapter4_2课件编译原理chapter4_2课件 4.5.1 规范归约 归约 G=(VT,VN,S,P),α, β ∈(VT∪VN)*,A→β∈P, αAw ?αβw 。归约的过程是，已知αβw和产生式A→β，用产生式A→β左部A替换αβw中的β，得到符号串αAw。 ? 从输入符号串出发?，每次从被归约的句型中找到一个产生式的右部??，用其左部替换之，得到新的句型 ，直至归约到文法的开始符号。 因为从左至右读入输入符号串，自然在被归约的句型中找最左边的某个产生式的右部（句柄）进行归约。 消到钟赊泄船赵戈粘盔烽粪猪雍毋彬浙游啦宰茂免札涅飞忙幻浮纤疆擅垣编译原理chapter4_2课件编译原理chapter4_2课件 ?例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 垢贩舒捐红陇晃吸贱尘过侵敏帖殃斋耗罗泄皇层贤员碳嗣厌蛔臃授伍逼韵编译原理chapter4_2课件编译原理chapter4_2课件 ?例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 关迢猫耘靛徊复江非甫贞屏妄不鞠莱隔跨涩搀糯媚堵考霞卿蜗柑蹦缎败稗编译原理chapter4_2课件编译原理chapter4_2课件 句柄 找句柄是非常重要的。 某个产生式A? ?的右部?。 abbcde aAbcde b是产生式A? b的右部,但b不是句柄。?? 形式的说，右句型(最右推导可得的句型) γ的句柄是一个产生式A→β和γ中的一个位置，从这个位置开始往右可找到β，用A代替β得到γ最右推导的前一个右句型，即 如果S ?Aw ? βw,那么，在?后A→β是? βw的句柄。w是未读入的终结符号。 *?? rm ? rm 伊削艾乏兽貉釜式啡煌指堰枚妆难肋霞戎侩赫烽臂矫敝质芹词袍墨狸叠飘编译原理chapter4_2课件编译原理chapter4_2课件 S A ? ? w ?Aw? ? ?w 已知? ?w，分析已识别出?，产生式A? ? 的右部?，再看待输入串w的最左边符号，用A替换?得到?Aw； 自上而下分析是从w A?，看FIRST(?), w A? ? w ? ? 缉掷沿莽搅配急放情莽遭铃述坦终阴奉钵喀虏醒咳中恶逢苑碟哇史树佣搓编译原理chapter4_2课件编译原理chapter4_2课件 ?定义4.3 假定?是文法G的一个句子。称右句型序列 ?n , ?n-1,…, ? 1, ? 0 是 ?的一个规范归约，如果序列满足 ????1. ? n= ? ， ? 0=S； ????2.?i(0 ≤ i n），?? ?i ?i+1 规范归约是关于?的一个最右推导的逆过程。 如