Chapt6属性文法和语法制导翻译分解.ppt

第六章 属性文法和语法制导翻译 语义 vs. 语法 语义：一组规则，用它可以定义一个程序的意义。 描述方法： 自然语言描述：隐藏错误、二义性和不完整性 形式描述： 操作语义(PL/1)、 指称语义(ADA)、 代数语义(PASCAL) 属性文法 6.1 属性文法 属性文法（也称属性翻译文法） Knuth在1968年提出 在上下文无关文法的基础上，为每个文法符号（终结符或非终结符）配备若干相关的“值”（称为属性）。 属性代表与文法符号相关的信息，如类型、值、代码序列、符号表内容等 属性可以进行计算和传递 语义规则：对于文法的每个产生式都配备了一组属性计算规则 综合属性 vs. 继承属性 在属性文法中，每个产生式A→?都对应着一套相关联的语义规则，每条规则都形如： b := f(c1,c2,…,ck) 这里，f是一个函数，而且或者 1.b是A的一个综合属性并且c1,c2,…,ck是产生式右边文法符号的属性，或者 2.b是产生式右边某个文法符号的一个继承属性并且c1,c2,…,ck是A或产生式右边任何文法符号的综合或继承属性。 属性b依赖于属性c1,c2,…,ck。 综合属性：(分析树)“自下而上”传递属性值 继承属性：(分析树)“自上而下”传递属性值 对属性文法的说明 终结符只有综合属性，值由词法分析器提供。 非终结符既可有综合属性也可有继承属性。 文法开始符号的所有继承属