第八章语法制导翻译探讨.ppt

第八章语法制导翻译和中间代码生成;概述 语义处理;概述;操作语义学;　指称语义学　（denotational semantics）;公理语义学;属性文法;属性文法和语法制导翻译 ;属性文法;属性有两种 继承的和综合的属性;在一个属性文法中，对应于每个产生式A??都有一套与之相关联的语义规则，每条规则的形式为b:=f(c1,c2…ck) 这里，f是一个函数，而且或者 （1）b是A的一个综合属性并且c1,c2…ck是产生式右边文法符号的属性;或者 （2）b是产生式右边某个文法符号的一个继承属性并且c1,c2…ck是A或产生式右边任何文法符号的属性。 在两种情况下，我们都说属性b依赖于属性c1,c2…ck 。 ; ;设表达式为3＊5+4，则语义动作打印数值19;继承属性; ;语法制导的翻译;语法制导的翻译; ; ;. ;例 : A + B * ( C - D ) + E / ( C - D ) ^N ;例 : A + B * ( C - D ) + E / ( C - D ) ^N ;例 : A + B * ( C - D ) + E / ( C - D ) ^N ;简单赋值语句的;(2) E?E1+E2 {E.place:= newtemp; emit(E.place“:=” E1.place“+”E2.place)} (3) E? - E1 { E.place:=newtemp; emit(E.place“:=”“uminus” E1.place)} (4) E?( E1) { E.place:= E1.place} (5) E?id {E.place:=newtemp; P:=lookup(id.name); if P?nil then E.place:=P else error}