哈工大编译原理5-1.pptVIP

第五章 语法制导翻译 翻译模式也叫翻译方案 5.2.2翻译模式 一个翻译模式是一个上下文无关文法， 其中被称为语义动作的程序段被嵌入到产生式的右部。 一个翻译模式类似于语法制导定义，只是语义规则的计算顺序是显式给出的。 　　这是一种语法分析和语义动作交错的表示法， 　　翻译模式给出了使用语义规则进行计算的顺序。可看成是分析过程中翻译的注释。 　　他表达在按深度优先遍历分析树的过程中何时执行语义动作. 例2： E→TE’ E’→+ T E’|ε T→id 一个简单的翻译模式（中缀变后缀） E→TE’ E’→+ T {print(+.lexeme)}E’|ε T→id{print(id.val)} 3+5的语义翻译过程 E E’ T Pr’3’ 3 T + Pr’+’ 5 E’ Pr’5’ ε 结果：35+ 翻译方案不仅要考虑“做什么”，还要考虑“怎么做” 某种意义上说，语法制导定义类似于算法，而翻译方案更象程序 　带有继承属性L.in的翻译方案 D?T｛　L?in:=T ? type　｝L T ?int ｛　T ? type :=integer　｝ T ?