编译原理 第四章语义分析和中间代码生成指导.pptVIP

第四章 语义分析和中间代码生成 属性文法 属性文法(attribute grammar)是一个三元组: A=(G,V,F),其中 G:是一个上下文无关文法 V:有穷的属性集,每个属性与文法的一个终结符或非终结符相连, F:关于属性的属性断言或谓词集.每个断言与一个产生式相联.而此断言只引用该产生式左端或右端的终结符或非终结符相联的属性 表达式文法 E→T+T| T or T T → n | b E → T1 + T2 { T1.type = int T2.type= T1.type E.type :=int} E → T1 or T2 { T1.type = bool T2.type= T1.type E.type :=bool} T → n { T.type := int} T → b { T.type := bool} 综合属性用于“自下而上”传递信息。 由相应分析树中结点的分支结点属性计算得到。 继承属性用于“自上而下”传递信息。 由相应分析树中结点的父结点属性计算得到。 float id1,id2,id3的带注释的分析树 几种常见的中间语言 1.语法树 ①根与内部