编译程序

出处：按学科分类—自然科学总论 天津人民出版社《自然辩证法辞典》第855页（637字）

指处理高级语言方式的一种翻译程序。

因为在计算机出现的初期，用户只能用机器指令编写程序，这项工作极为繁重，效率很低。为了克服机器语言的缺点，人们提出了汇编语言，但因其与机器指令一一对应，不具有通用性，功能很弱等缺点，于是就产生了高级语言。高级语言完全摆脱了对机器的依赖，而且书写简便，容易修改。但是计算机是不懂高级语言的，必须有一个翻译程序将其翻译成相应的机器语言程序。这个翻译程序按其处理高级语言的方式被称为解释程序或编译程序。编译程序处理的对象(即高级语言程序)称为源程序。

其加工结果则称为结果程序或目标程序。目标程序可以是绝对指令(机器语言程序)，汇编程序或模块型程序。

目标程序在一些辅助子程序的配合下在计算机上运行(称为运行系统子程序)。

编译程序包括如下部分及其功能：词法分析：从源程序中依次识别出单词，并确定其属性，用语义字或机内符来表示。

语法分析：在词法分析基础上，识别语法单位，检查语法错误。语义分析：加工相应的语法单位的有关信息，并检查语义的正确性，包括造表、分配存储单元及生成中间语言等工作。

代码生成：在语义分析的基础上，最后生成目标程序。编译程序按其读源程序的遍数分为一次扫描和多次扫描。在其中，还可加入一些优化的工作。

有关编译的主要研究课题包括提高目标程序的质量，实现编译程序的自动化，保证编译程序的正确性。形式语言及自动机理论是研究中最主要的理论工具。