对于文法的每个产生式都配备了一组属性的计算规则，称为语义规则