编译原理——编译程序构造实践教程课件作者张幸儿戴新宇601编译程序构造与实践教程第六章节.pptVIP

6.1.3 语法制导定义与翻译方案的设计1. 语法制导定义与翻译方案之例(1) 语法制导定义 (计算算术表达式值) 例 从中缀表达式生成后缀表达式的翻译方案 基于自顶向下语法分析技术的翻译方案之设计 文法G[E]： E::=E+T E::=E-T E::=T  T::=T*F T::=T/F T::=F F::=(E) F::=N文法等价变换得到文法G?[E]: E::=TE? E?::=+TE? E?::=-TE? E?::=? T::=FT? T?::=*FT? T?::=/FT? T?::=? F::=(E) F::=N  为了设计翻译方案，通过例子观察分析设计思路。假定输入符号串为3*2，可为其构造语法分析树与相应的依赖图（部分）如下图所示。 关于输入符号串3*2的语法分析树与部分依赖图。 E::=T { E?.i:=T.val } E? {E.val:=E?.val }E?::= + T {E?1.i:= E?.i +T.val } E?1 { E?.val:= E?1.val }E?::= - T { E?1.i:= E?.i -T.val } E?1 { E?.val:= E?1.val }E?::= ? { E?.val:=E?.i }T::=F { T?.i:=F.val } T?{T.val:=T?.val } 类型表达式是基本类型或者是由类型构造符作用于其他类型表达式而形成的类型。1) 基本类型是类型表达式:  integer(整)、real(实)、char(字符)、boolean(逻辑)等，  另外还引进type_error与void类型。2) 对类型表达式命名的类型名是类型表达式；3) 类型构造符作用于类型表达式的结果是类型表达式。 其中的几个函数说明如下。 函数调用SearchConstT(value)的功能是：在常量表中查value，如果未查到，把value登录入常量表。不论查到与否，回送value在常量表中的序号。 函数LookType(value)的功能是取得value的类型，常量的类型可以是整型、实型与字符型等。 函数调用add (entry, kind, type, order)的功能是：把种类kind、类型type与序号order 添加入由entry指明的符号表条目中。为了表达种类是常量，可以引进枚举值CONSTANT，表示一个标识符的种类是常量。 概括说，种类部分描述是怎样的对象，特征部分给出与相应对象相关的类型属性等信息。  可具体设计如下。属性字共32位，即，  ?0?1…?4?5…?15?16…?31，其中，?0=0， 非特定符号类；  ?1…?4：种类，其值从1到15，让：1对应于常量、 2对应于简单变量、…、9对应于函数，10对应于过程、11对应于类型等。 让 15对应于主函数。 ?5…?15：特征，?5=1是整型（?5=0，非整型），?6=1是实型, ?7=1是字符型，?8=1是枚举型，?11=1是形参, ?12=1是有参数,?13=1是系统定义的标识符,?14=1是成员变量。当必要时，可以置?15为函数（过程）定义是否递归的标志。 但在设计属性文法时，通过设置属性值填入符号表，如id.kind=CONSTANT(常量)。 可以如下设计符号表条目类型： typedef struct  { int 特定符号标志位； /* 0:非特定符号 */ int 种类； /* 取值1~15 */ struct  { int 整型标志位； int 实型标志位； int 字符型标志位； int 枚举型标志位； int 成员变量标志位； int 函数有值标志位； int 形参标志位；