编译原理chapter5 语法制导翻译.pptVIP

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+4