属性文法 属性文法( attribute grammar)是一个三元 组:A=(G,VF,其中 G:是一个上下文无关文法 V有穷的属性集每个属性与文法的一个终结符或 非终结符相连这些属性代表与文法符号相关信 息,如它的类型、值、代码序列、符号表内容 等等属性与变量一样,可以进行计算和传递 属性加工的过程即是语义处理的过程 F:关于属性的属性断言或一组属性的计算规则(称 为语义规则).断言或语义规则与一个产生式相 联,只引用该产生式左端或右端的终结符或非终 结符相联的属性属性文法 属性文法(attribute grammar)是一个三元 组:A=(G,V,F),其中 G:是一个上下文无关文法 V:有穷的属性集,每个属性与文法的一个终结符或 非终结符相连,这些属性代表与文法符号相关信 息，如它的类型、值、代码序列、符号表内容 等等 .属性与变量一样，可以进行计算和传递。 属性加工的过程即是语义处理的过程。 F:关于属性的属性断言或一组属性的计算规则(称 为语义规则) . 断言或语义规则与一个产生式相 联,只引用该产生式左端或右端的终结符或非终 结符相联的属性