第六章——属性文法和语法制导翻译技巧.ppt

建立翻译模式： 只需综合属性：为每个语义规则建立一个包含赋值的动作，并把这个动作放在相应的产生式右边的末尾。 既有综合属性，又有继承属性： 1)产生式右部的符号的继承属性必须在这个符号以前的动作中计算出来； 2)一个动作不能引用这个动作右边的符号的综合属性； 3)产生式左部非终结符的综合属性只有在它所有属性都计算出来以后才能计算。计算这种属性的动作通常可放在产生式右端的末尾。 第六章  属性文法和语法制导翻译 语义分析的功能 审查静态语义，验证语法结构合法的程序是否真正有意义 静态语义正确，翻译为中间语言或实际的目标代码 属性文法：也称属性翻译文法，是在上下文无关文法的基础上为每个文法符号（终结符或非终结符）配备若干个相关的“值”（称为“属性”）。 综合属性 属性 继承属性 对一个属性文法，每个产生式A→α都有一套与之相关的语义规则，每条规则的形式为： b := f ( c1，c2，...，ck ) 其中：f是一个函数，而且： 或者（1）b是A的一个综合属性且c1，c2，...，ck是产生式右边文法符号的属性； 或者（2）b是产生式右部某个文法符号的一个继承属性并且c1，c2，...，ck是A或产生式右部任何文法符号的属性。