能将高级语言编写的程序转换成目标程序的是编译程序，由高级语言编写的程序称为“源程序”，由二进制代码表示的程序称为“目标程序”，而把源程序 转换成机器能够识别的目标程序是由“编译程序”完成的。

编译程序的实现算法较为复杂。这是因为它所翻译的语句与目标语言的指令不是一一对应关系,而是一多对应关系;同时也因为它要处理递归调用、动态存储分配、多种数据类型，以及语句间的紧密依赖关系。但是，由于高级程序设计语言书写的程序具有易读、易移植和表达能力强等特点，编译程序广泛地用于翻译规模较大、复杂性较高、且需要高效运行的高级语言书写的源程序。