由规范推导所得到的句型。
文法G[S]的一个句子如果能找到两种不同的最左推导(或最右推导),或者存在两棵不同的语法树,则称这个句子是二义性的。
若产生式左部的单非终结符A的属性值由右部各非终结符的属性值决定,则A的属性称为综合属
规范句型的一个前缀,这种前缀不含句柄之后的任何符号。或给定文法规范句型的可归前缀的任意首部。