理学 编译系统 释 attribute grammars 属性文法 在上下文无关文法的基础上为每个文法符号（包括终结符与非终结符）赋予若干相关的值（称为属性）后获得的文法。又称属性翻译文法。
attribute grammar 属性文法
理论计算机科学 程序理论 释文 attribute grammars 属性文法
- involution axioms
- involution condition
- involution curve
- involution form
- involution net
- involution of a composition algebra
- involution of a division ring
- involution of a group
- involution of an algebra
- involution of a ring
- involution of forms
- involution of lines
- involution of planes
- involution of points
- involution point
- involution principle
- involution representation
- involutive
- involutive algebra
- involutive automorphism
- involutive Banach algebra
- involutive correlation
- involutive distribution
- involutive functions
- involutive ring