第八章语法制导翻译和中间代码(4学时).pptVIP

第8章 语法制导翻译和中间代码生成;8.1概述 8.2属性文法 8.3语法制导翻译 8.4中间代码的形式 逆波兰式、三元式、树形表示、四元式 8.5一些语句的翻译 赋值语句 布尔表达式 控制语句中的布尔表达式 For循环语句 8.6数组的翻译;概述;语义处理;概述;属性文法;操作语义学;指称语义学;Valuation[101] 表示把Valuation施用于101 Valuation[N] ------ 把它施用于N 定义: Valuation（用四个方程)因为有四个形式numeral Valuation[0] ?0 Valuation[1] ?1 Valuation[N0] ?2?Valuation [N] Valuation[N1] ?2?Valuation [N]+1 所以： Valuation[110]=2 ? Valuation[11] = 2 ? (2 ? Valuation[1]+1) =2 ?(2 ? 1+1) =6 ;公理语义学;演绎规则的例子 赋值：x:=expr {P(expr)}x:=expr{P(x)} While: {P ∧ B} S {P} {P} while B do S end {P ∧ (not B)} if--then--else {B ∧ P} S1 {Q}, {(not B) ∧ P} S2 {Q} {P} if B then S1 else S2{Q} ;8.2 属性文法;常用的语义分析方法——语法制导翻译 语法制导翻译： 首先，使用属性文法为工具，描述程序设计语言的语义规则。 在语法分析时，每应用一个产生式（推导或归约），同时完成该产生式上所附的语义规则描述的动作，从而完成语义处理。;用于描述语义规则的文法。 对文法的每个符号引入一些属性，这些属性代表与文法符号相关的信息，例如：类型、值、代码序列、符号表内容等。 属性值可以在语法分析过程中进行计算和传递。 属性的加工过程就是语义的处理过程。;属性文法的组成： 一个上下文无关文法 一系列语义规则（附在文法的每个产生式上） 属性文法的形式：三元组 A=(G,V,F) G:是一个上下文无关文法 V:有穷属性集,每个属性与文法的一个终结符或非终结符关联 F:关于属性的断言或谓词集.每个断言与一个产生式关联.而此断言只引用该产生式的终结符或非终结符相关联的属性;属性文法 举例;属性文法 举例;语法制导翻译的实质： 根据每个产生式所对应的语义规则，随语法分析的每一步（推导或归约），执行相应的语义动作。 语法制导翻译的过程： 对单词符号串进行语法分析，构造语法分析树； 然后根据需要构造属性依赖图，遍历语法树，并在语法树的各结点处按语义规则进行计算。;属性： 综合属性：可以在分析输入串的同时，自下而上地来计算。如：val 继承属性：一个结点的继承属性值是由此结点的父结点和（或）兄弟结点的某些属性来决定的。如：L.in 属性文法的计算：可以是普通意义上的数学运算，也可以是打印输出等动作。;设表达式为3＊5+4，则语义动作打印数值19; ;语法制导的翻译; ; ;8.4 中间代码的形式;逆波兰记号（后缀式）; 逆波兰式的复杂性： 压栈的可能是地址（如变量赋值），不是值； 栈中不一定产生结果。;三元式和树形表示;四元式;8.5 简单语句的翻译;简单赋值语句的翻译;S ?id := E{ P:=lookup (id.name) ; if P?nil then  emit( P,“:=”,E.place); else error(); } ;(2) E?E1+E2{ E.place:= newtemp; emit(E.place,“:=”, E1.place,“+”,E2.place);} ;(4)?? E?-E1  { E.place=newtemp; emit(E.place,’:=’,’-’,E1.place); }(5)?? E?(E1) { E.place=newtemp; emit(E.place,’:=’,E1.place);