第七讲 语法制导翻译和中间代码
第1页，共36页。
属性文法
属性文法(attribute grammar)是一个三元组:A=(G,V,F)
F：关于属性的属性断言或谓词集.每个断言与一个产生式相联.而此断言只引用该产生式左端或右端的终结符或非终结符相联的属性
V：有穷的属性集，每个属性与文法的一个终结符或非终结符相连
G：是一个上下文无关文法
第2页，共36页。
表达式文法 E→T+T| T or T
       T → n | true | false
E → T1 + T2        { T1.type = int AND T2.type = T1. type              E.type :=int } E → T1 or T2        { T1.type = bool AND T2.type= T1.type        E.type :=bool  }  T → n {  T.type := int } T → true {  T.type := bool }  T → false {  T.type := bool }
类型检查的属性文法：   ...