1.属性文法(语法制导的定义)(SyntaxDirected- Definition)。 形式:CFG的每个产生式A→对应与之相关联的一个语义规则(semantic rules)集合,每条规则形如b:=f(c1,C2,,ck),其中f是一个函数,b1C2 ck是该产生式中文法符号的属性(attributes),b有两个可能(1)是A的一 个属性,C1,C2,,Ck是产生式右部文法符号的属性或A的其它属性称b是A的 综合属性(synthesized attribute),(2)是产生式右部某个文法符号x的一个属 性,并且C12,…,C是A或产生式右部任何文法符号的属性则称b是文法符号 x的继承属性( inherited attribute) 函数f通常以表达式的形式出现