在属性文法中，对于每个产生式，必须在该产生式对应的语义规则中提供计算该产生式中所有符号的所有属性的计算规则