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

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

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

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

把某种语言的源程序转换成等价的另一种语言程序——目标语言程序，然后再执行目标程序。

词法分析，语法分析，语义分析，中间代码生成，代码优化，目标代码生成

是对源程序或其等价的中间语言程序从头到尾扫视并完成规定任务的过程。