07级编译原理期末复习一、概念二、几个重要的关系三、算法RECURSIVERE/LLLLSLRSLRLR/LALRAR语法制导定义1)type为综合属性，代表类型属性，函数addtype实现向符号表中i对应项填类型信息。语法制导定义b)采用递归下降分析法编写预翻译程序：ProcedureD;beginiflookahead=idthenbeginmatch(id);D.type=L;addtype(id.entry,D.type)endelseerrorendFunctionL:DataType;beginiflookahead=’,’thenbeginmatch(‘,’);iflookahead=idthenbeginmatch(id);L.Type=L;addtype(id.entry,L.type);return(L.type)endelseerrorend下面文法产生的表达式是对整型和实型常数应用算符+形成的。当两个整数相加时,结果为整数，否则为实数。ETRR+TR|εTnum.num|numa)给出语法制导定义确定每个子表达式的类型。b)把表达式翻译成前缀形式，并且决定类型。试用一元运算符inttoreal把整型值转换为相等的实型值，以使得前缀表达式中两个运算对象是同类型的。a)设type是综合属性，代表各非终结符的“类型”属性设in是继承属性，翻译方案b)设属性s和i用于传递属性type，属性t和j用于传递属性val。翻译方案