语义规则： 对于文法的每个产生式都配备了一组属性的计算规则。 在一个属性文法中，对应于每个产生式A一>α都有一套 与之相关语义规则，每条规则的形式为 b:=f(c1,c2,...,ck) 这里，是一个函数 > b是A的一个属性，并且cL,c2,.,ck是产生式右边文法符号 的属性；或者A的其他属性，则称b是A的综合属性： >b是产生式右边某个文法符号X的一个属性，并且c1,c2,.,ck 是A或产生式右边任何文法符号的属性，则称b是文法符号X的继承属性。 在这两种情况下，我们都说属性b依赖于属性c1,c2,.,ck。 ② 语义规则： 在一个属性文法中，对应于每个产生式A－>α都有一套 与之相关语义规则，每条规则的形式为 b:= f(c1,c2,…,ck) 这里，f是一个函数 ➢ b是A的一个属性，并且c1,c2,…,ck是产生式右边文法符号 的属性；或者A的其他属性，则称b是A的综合属性； ➢ b是产生式右边某个文法符号X的一个属性，并且c1,c2,…,ck 是A或产生式右边任何文法符号的属性，则称b是文法符号X的继承属性。 在这两种情况下，我们都说属性b依赖于属性c1,c2,…,ck。 对于文法的每个产生式都配备了一组属性的计算规则