翻译的任务首先语义分析和正确性检查,若正确,则翻译.ppt

5.8.1 类型表达式 ?5.8.1.1 类型表达式定义 ??? ?语言结构的类型由类型表达式指称，类型表达式依赖于程序语言的类型体制。类型表达式或者是简单类型表达式，或者是构造符作用在类型表达式上得到的类型表达式。类型表达式的定义如下： ???（1） 类型名和基本类型是类型表达式。integer、char、real、boolean是基本类型，所以它们是类型表达式。另外，void表示“无类型”，type_error表示“出错类型”，它们也是类型表达式。 ??（2）类型构造符作用于类型表达式的结果 仍然是类型表达式。类型构造符包括： ??（a）数组构造符ARRAY：若T是类型表达 式，则ARRAY（I,T）是类型表达式。  （b）笛卡儿乘积?：若T1、T2是类型表达 式，则T1? T2是类型表达式，且?是左结合。 ? （c）记录类型构造符RECORD：若有标识符N1、N2……、Nn与类型表达式T1、T2、 …、Tn， 则RECORD（（N1 ? T1） ? （N2 ? T2）? …? （Nn ? Tn））是一个类型表达式，它指称一个记录类型。 表5.5 翻译输入3*5+4n所做的移动 输入 state val 使用的产生式 3*5+4n - - *5+4n 3 3 *5+4n F 3 F?digit *5+4n T 3 T?F 5+4n T* 3- +4n T* 5 3-5 +4n T* F 3-5 F ?digit +4n T 15 T? T*F +4n E 15 E? T 4n E+ 15- n E+4 15-4 n E+F 15-4 F ? digit n E+T 15-4 T? F n E 19 E? E+T En 19 - L 19 L? En 总结： 采用自底向上分析，例如LR分析，首先给出S-属性定义，然后，把S-属性定义变成可执行的代码段，这就构成了翻译程序。象一座建筑，语法分析是构架，归约处有一个“挂钩”，语义分析和翻译的代码段（语义子程序）就挂在这个钩子上。这样，随着语法分析的进行，归约前调用相应的语义子程序,完成翻译的任务。 5.4 L-属性定义 在语法分析过程中进行语义分析和翻译，属 性的计算顺序受到语法分析建立分析树结点顺序的限制。 一种自然的计算属性的顺序是按深度优先 访问分析树结点的顺序，它适应多种自底向上 和自顶向下的翻译方法。 L-属性定义 可用于按深度优先顺序计算属性值。 ◆深度优先顺序计算属性 PROCEDURE dfvisit(n:node); BEGIN FOR n 的每个子结点m,从左至右 DO BEGIN 计算m的继承属性； dfvisit(m) END; 计算n的综合属性 END; 5.4.1 L-属