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

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

是指符号串任意首部。

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

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

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

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

是接受某高级语言的一个语句输入，进行解释并控制计算机执行，马上得到这句的执行结果，然后再接受下一句。