原来的文法G(S)的基础上，为其文法符号关联具有特定意义的属性，并为产生式关联语义计算或条件谓词，就构成属性文法