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

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

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

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

是指符号串任意首部。

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

若产生式左部的单非终结符A的属性值由右部各非终结符的属性值决定，则A的属性称为综合属

一个文法如果包含二义性的句子，则这个文法是二义文法，否则是无二义文法。

文法G[S]的一个句子如果能找到两种不同的最左推导（或最右推导），或者存在两棵不同的语法树，则称这个句子是二义性的。