什么是编译程序（含翻译程序、解释程序和中间代码的定义介绍）

要在计算机上执行用 高级语言（或汇编语言）编写的程序，必须通过特定的途径来进行，也就是要通过 翻译程序把用高级语言（或汇编语言）编写的程序翻译成为机器语言构成的程序，计算机才能执行。
在计算机上执行一个高级语言程序一般要分为两步：
第一步，用一个编译程序把高级语言翻译成机器语言程序；
第二步，运行所得的机器语言程序求得计算结果。

1.几种基本的翻译程序

1.1翻译程序

通常所说的翻译程序是指这样的一个程序，它能够把某一种语言程序（称为源语言程序或源程序）转换成另一种语言程序（称为目标语言程序或目标程序）

1.2汇编程序（Assembler）

如果源语言是某种汇编语言，而目标语言是某种计算机的机器语言，这样的一个翻译程序就称为汇编程序。

1.3编译程序（Compiler）

如果源语言是某种高级语言，而目标语言是某种低级语言（汇编语言或机器语言），这样的一个翻译程序就称为编译程序。

1.4解释程序（Interpreter）

这是另外一种类型的翻译程序，在翻译过程它按照高级语言源程序在计算机上执行的动态顺序对源程序的语句逐条翻译（解释），边解释边执行直至结束，它不产生目标程序，它的工作结果就是源程序的执行结果，这样的一个翻译程序就称为解释程序。

1.5总结

编译程序与其他几种翻译程序的区别在于源语言和目标语言的不同，编译程序的源语言是某种高级语言，功能是将其翻译成某种低级语言。
根据不同的用途，编译程序可进一步分类:
（1）诊断编译程序（Diagnostic Compiler）： 专门用于帮助程序开发和调试的编译程序。
（2）优化编译程序（Optimizing Compiler）： 着重于提高目标代码效率的编译程序。
（3）交叉编译程序(Cross Compiler)： 如果一个编译程序产生不同于其宿主机的机器代码。
（4）可变目标编译程序（Retargetable Compiler）： 不需重写编译程序中与机器无关的部分就能改变目标机。

2.编译程序的运行过程

编译程序的工作过程一般可以划分为五个阶段：
1.词法分析——2.语法分析——3.语义分析——4.中间代码产生、优化——5.目标代码生成。

2.1词法分析（Lexical analysis）

此阶段的任务是： 输入源程序，对构成源程序的字符串进行扫描和分解，识别出一个个的单词。在词法分析阶段的工作中所依循的是语言的词法规则（或称构词规则）。描述词法规则的有效工具是正规式，识别词法规则的有效工具是有限自动机。

2.2语法分析(Syntax Analysis)

此阶段的任务是：在词法分析的基础上，根据语言的语法规则，把单词符号串分解成各类语法单位（语法范畴），如“短语”、“子句”、“句子”（“语句”）、“程序段”和“程序”等。通过语法分析，确定整个输入串是否构成语法上正确的“程序”。
语法分析所依循的是语言的语法规则。语法规则通常用上下文无关文法描述。词法分析是一种线性分析，而语法分析是一种层次结构分析。
例如，在很多语言中，符号串 z：=X十0.618*Y 代表一个“赋值语句”，而其中的 X＋0.618*Y代表一个“算术表达式”。因而，语法分析的任务就是识别 X＋0.618*Y为算术表达式，同时，识别上述整个符号串属于赋值语句这个范畴。

2.3语义分析与中间代码产生(Semantic Analysis and Intermediate Generator)

此阶段的任务是：对语法分析所识别出的各类语法范畴，分析其含义，并进行初步翻译（产生中间代码）。
语义处理:
①变量的存储分配 ②表达式的求值 ③语句的翻译(中间代码的生成)
中间代码
中间代码是一种独立于具体硬件的记号系统。
常用的中间代码：三地址码（四元式、三元式、间接三元式），逆波兰式，树形表示等。所谓“中间代码”是一种含义明确、便于处理的记号系统，它通常独立于具体的硬件。这种记号系统或者与现代计算机的指令形式有某种程度的接近，或者能够比较容易地把它变换成现代计算机的机器指令。

2.4优化(Optimization)

优化的任务:对产生的中间代码进行加工变换，以期在最后阶段能产生出更为高效（省时间和空间）的目标代码。
优化的主要方面有：公共子表达式提取、循环优化、删除无用代码等等。有时，为了便于“并行运算”，还可以对代码进行并行化处理。优化所依循的原则:程序的等价变换规则。

2.5目标代码生成(Code Generation)

这一阶段的任务是：把中间代码（或经优化处理之后）变换成特定机器上的低级语言代码。
目标代码的三种形式:
1.汇编语言代码 2.能够立即执行的机器语言代码 3.待装配的机器代码模块

3.表格管理 (symbol-table manager)

编译程序在工作过程中需要保存一系列的表格，以登记源程序的各类信息和编译各阶段的进展状况。合理地设计和使用表格是编译程序构造的一个重要问题。在编译程序使用的表格中，最重要的是符号表。它用来登记源程序中出现的每个名字以及名字的各种属性。

4.出错处理(error handler)

一个编译程序不仅应能对书写正确的程序进行翻译，而且应能对出现在源程序中的错误进行处理。
源程序中的错误通常分为语法错误和语义错误两大类。
语法错误是指源程序中不符合语法（或词法）规则的错误，它们可在词法分析或语法分析时检测出来。例如，词法分析阶段能够检测出“非法字符”之类的错误；语法分析阶段能够检测出诸如“括号不匹配”、“缺少；”之类的错误。
语义错误是指源程序中不符合语义规则的错误，这些错误一般在语义分析时检测出来，有的语义错误要在运行时才能检测出来。语义错误通常包括：说明错误、作用域错误、类型不一致等等。

5.编译前端与后端

编译过程划分为前端和后端的目的：在多种源语言和多种目标语言的开发过程中，可以灵活搭配前端和后端，消除重复开发的工作量，提高编译系统的开发效率。
前端主要由与源语言有关但与目标机无关的那些部分组成。这些部分通常包括词法分析、语法分析、语义分析与中间代码产生，有的代码优化工作也可包括在前端。
后端包括编译程序中与目标机有关的那些部分，如与目标机有关的代码优化和目标代码生成等。通常，后端不依赖于源语言而仅仅依赖于中间语言。