第七讲语法制导翻译和中间代码生成.pptVIP

第七讲 语法制导翻译和中间代码;属性文法;表达式文法 E→T+T| T or T T → n | true | false ;语 义 规 则; 在语法制导定义中，一条语义规则完成一个计算属性值的动作。digit是终结符，只使用综合属性，且其属性值由词法分析器提供，通常不要计算属性值。;继承属性;语句：real id1， id2， id3的分析树，采用自上而下的分析方法;语法制导翻译概论;中间代码的形成;逆波兰记号（后缀式）;逆波兰记号的扩充用途;逆波兰示例;确定输入a+a?a的输出： (E,E)?(E+T，ET+) ? (T+T，TT+) ? (F+T，FT+) ? (a+T，aT+) ? (a+T?F，aTF?+) ? (a+F?F，aFF?+) ? (a+a?F，aaF?+) ? (a+a?a，aaa?+);将下列语句翻译成后缀式： if xy then y=y+z else x=x+z;三元式和树形表示;间接三元式;例如：x:=(a+b)*c b:=a+b y:=c*(a+b);四元式;四元式的特点;四元式的直观???示;简单赋值语句的翻译;产生式和语义描述：; (4) E? - E1 { E.place:=newtemp; emit(E.place“:=”“uminus” E1.place)} (5) E?( E1) { E.place:= E1.place} (6) E?id { P:=lookup(id.name); if P?nil then E.place:=P else error} ;例：将下列语句翻译成四元式形式： A:=-B*(C+D);查看语意义子程序1~3;语句 A:=-B*(C+D) 翻译成四元式形式为：;类 型 转 换 的 语 义 处 理;E.false;1 ;2;语句;(1);语义描述使用的变量和过程：;语义描述使用的变量和过程：;自下而上分析中的一种翻译方案：;