一种把运算量（操作数）写在前面，把算符写在后面（后缀）的表示法。

出现在文法产生式的右部且不能派生出符号或符号串的那些符号称为终结符号。

设G是一个给定的文法，S是文法的开始符号，如果Sx（其中x∈V*），则称x是文法的一个句型。

给定句型中的最左简单短语就是句柄。

规范句型的一个前缀，这种前缀不含句柄之后的任何符号。或给定文法规范句型的可归前缀的任意首部。

是指规范句型的一个前缀，这种前缀包含句柄且不含句柄之后的任何符号。

是指符号串任意首部。

若产生式右部符号B的属性值是根据左部非终结符的属性值或者右部其它符号的属性值决定的，则B的属性为继承属性。