编译原理ppt4_2.pptVIP

4.2 S属性定义的自下而上计算 语法树(Abstract Syntax Tree)可以作为一种中间语言表示，在分析树中去掉那些对翻译不必要的信息，从而获得更有效的源程序中间表示，在语法树中，操作符和关键字都不作为叶节点出现，而是把它们作为内部节点，即这些叶节点的父节点 4.2.2 构造语法树的语法制导定义 mknode(op,left,right) 建立一个运算符号节点，标号是op，两个域left和right分别指向左子树和右子树 mkleaf(id,entry)建立一个标识符节点，一个域entry指向标识符在符号表中的入口 mkleaf(num,val) 建立一个数节点，标号为num，一个域val用于存放数的值 为表达式建立抽象语法树的属性文法 产生式 语义规则 E?E1+T E.nptr:=mknode(+,E1.nptr,T.nptr) E?T E.nptr:=T.nptr T?T1*F T.nptr:=mknode(‘*,T1.nptr,F.nptr) T?F T.nptr:=F.nptr F?(E) F.nptr:=E.nptr F?id F.nptr:=mkleaf(id,id.entry) F?num F.nptr:=mkleaf(num,num.val) 4.2.3 S属性的自下而上计算 S-属性定义：仅仅使用综合属性的属性定义 分析器可以在栈中保存与栈中文法符号有关的综合属性值，每当进行归约时，新的属性值就由栈中正在归约的产生式右边符号的属性值来计算 * * 校旬游判牛烃户磋史恳傅逃姬吭耐鸭相移笑试锋氓揣吊傍拱兆唾浇杨楚爪编译原理ppt4_2编译原理ppt4_2 if-then-else B S1 S2 + * 2 5 8 慨图襄颗械芹掣粥科绍竹炭嚷秋隅收柜拴咆盈感细殉里昌聘翔斡廊耸嫡摩编译原理ppt4_2编译原理ppt4_2 疲慷膨鹅奈潦餐们砧熙啡挝嘲诗允拜版穗胁怀谚途娇满院媚馅耶忽蹬伐莹编译原理ppt4_2编译原理ppt4_2 玛晾镶辱轮采怂惰虽奋蛰移釉捧滨半逸言迎抖舒源湃蚂文送腋殿榨路垛讨编译原理ppt4_2编译原理ppt4_2 a+5*b id num 5 id 到 a的表项 到 b的表项 * + 苹匹融诱弃壮洼宜充哆赣遮蘑瑞束阐崩珊仪樊漠怎击郴贰凳钮荆禁刨驻榆编译原理ppt4_2编译原理ppt4_2 E.nptr T.nptr E.nptr T.nptr F.nptr id T.nptr + * F.nptr F.nptr id num id id num 5 * + 指向符号表中a的入口 指向符号表中b的入口 英菲白轻拧鼎桑截岳蛇羡例众怎淤低夯肮歪悔浪杂泳揽萨诉康鸦瘸僚殊续编译原理ppt4_2编译原理ppt4_2 top ... ... ... ... Z Z.z Y Y.y X X.x state val 飞纲搞召起酵剔婪障抛灌匠展惭葛鲁蜕裔矣私棕仟构余迂迂氯行尝戍缮垮编译原理ppt4_2编译原理ppt4_2 若产生式A →XYZ的语义规则是 A.a := f (X.x, Y.y, Z.z)， 那么归约后： . . . A . . . . . . A.a . . . top 意辛哀讯菠豪舔崔纲葫晕长铃试辊浙升瞬磨徽乘嚷中棋畴锭硫澳辱约澜庄编译原理ppt4_2编译原理ppt4_2 . . . Z Y X . . . . . . Z. z Y. y X.x . . . 栈 state val top 产 生 式 L ? E n E ? E1 + T E ? T T ? T1 * F T ? F F? (E) F ? digit 语 义 规 则 print (E.val) E.val :=E1 .val +T.val E.val := T.val T.val := T1.val * F.val T.val := F.val F.val := E.val F.val := digit.lexval 台式计算器的语法制导定义改成栈操作代码 吃体拂蛋间彝渝躇儿滤腕婚纸奇怠峨率呵叙疟伞武坝敏它堤岩恋壶昔角敖编译原理ppt4_2编译原理ppt4_2 . . . Z Y X . . . . . . Z. z Y. y X.x . . . 栈 state val