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

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

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

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

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

指那些依赖于目标机而一般不依赖源语言，只与中间代码有关的那些阶段，即目标代码生成，以及相关出错处理和符号表操作。

源语言编写的程序称为源程序。

如果源语言为高级语言，目标语言为某台计算机上的汇编语言或机器语言，则此翻译程序称为编译程序。