编译原理第八篇.pptVIP

第8章 语法制导翻译和中间代码生成 8.1 概述 属性分为两种  3*5+4的带注释的分析树 只使用综合属性. 继承属性 一个结点的继承属性值是由此结点的父结点/或兄弟结点的某些属性来决定的。例，添加说明语句的语义描述： 继承属性type 实际上，在一个表达式中可能出现各种不同 类型的变量，而不象前面假定为同一类型。 因此，上例应改为P163 图8.10 的形式。 8.3 布尔表达式的翻译 程序设计语言中的布尔表达式有两个作用。 一是计算逻辑值 更多的情况是二:用做改变控制流语句中的 条件表达式，如在if-then，if-then-else， 或是while-do语句中那样。 布尔表达式是由布尔算符and，or和not施于布尔变量或关系表达式而成。 即布尔表达式的形式为E1 rop E2，其中E1和E2都是算术表达式，rop是关系符，如＝,＜，＝，＝，≠等等。 布尔表达式的翻译方法 通常，计算布尔表达式的值有两种办法: 第一种办法，如同计算算术表达式一样，步步 计算出各部分的真假值，最后计算出整个表 达式的值。 （p）　goto　（q） （p+1）　（关于S2的四元式）　　…　　 （q） If ( a＜b or c＜d and ef )then S1 else S2 的四元式序列为　　（1）　if　a＜b　goto　（7） 　 /*（7）是整个布尔表达式的真出口*/　　（2）　goto　（3）　　（3）　if　c＜d　goto　（5）　　（4）　goto　(p+1) /*（p+1）是整个布尔表达式的假出口*/　　（5）　if　ef　goto　（7）　　（6）　goto　（p+1）　　（7） （关于S1的四元式）　　 … 如：E1 or E2 E1有一个真出口，E2也有一个真 出口，将两个链合并为一条链。 （7）E→ true { E.true:=nextstat; E.codebegin:= nextstat; emit(‘goto’ __) } (8) E →false { E.false:=nextstat; E.codebegin:= nextstat; emit(‘goto’ __) } 中缀表示　　　　　　　　后缀表示 　a+b ab+ 　a+b*c abc*+ 　(a+b)*c ab+c* a:=b*c+b*d abc*bd*+:= 特点 1、运算对象出现的顺序和原有顺序（从左到右）相同 2、运算符按实际计算顺序（从左到右）出现 3、运算符紧跟在运算对象的后面出现，且没有括号 优点：简明、便于计值 后缀表示法表示表达式，其最大的优点是易于计算机处理表达式。 常用的算法是使用一个栈，自左至右扫描算术表达式（后缀表示），每扫描到运算对象，就把它推进栈；扫描到运算符，若该运算符是二目的，则对栈顶部的两个运算对象实施该运算，并将运算结果代替这两个运算对象而进栈；若是一目运算符，则对栈顶元素执行该运算，并以运算结果代替该元素进栈，最后的结果留在栈顶。 例如 B@CD*+（它的中缀表示为－B+C*D，使用@表示一目减）的计值过程为： B进栈；　 对栈顶元素施行一目减运算，并将结果代替栈顶，即－B置于栈顶； C进栈； D进栈； 栈顶两元素相乘，两元素退栈，相乘结果置栈顶； 栈顶两元素相加，两元素退栈，相加结果进栈，现在栈顶存放的是整个表达式的值。 　逆波兰表示很容易扩充到表达式以外的范围。 只要遵守运算对象后直接紧跟它们的运算符的规 则即可。 比如把转语句GOTO L写为“L jump ， 运算对象L为语句标号，运算符jump表示转到某个标号L 。 再比如条件语句if E then S1 else S2 可表示为：ES1S2￥，把if then else看成三目运 算符，用￥来表示。 生成后缀式的属性文法 注释： || 表示代码序列的连接 例:给出下列表达式的逆波兰式: (1) a*(-b+c) (2) a+b*(