回答如下：编译程序是将高级语言编写的源代码转化为机器语言的过程。它将源代码作为输入，经过词法分析、语法分析、语义分析等一系列编译过程，生成可执行文件或目标文件作为输出。
编译程序的目的是优化源代码并生成可执行的程序，以便在计算机上运行。
编译程序通常由编译器和链接器组成，其中编译器负责将源代码转化为目标代码，链接器负责将目标代码与所需的库文件进行链接，生成可执行文件。
编译程序的正确性在于能够正确地将源代码转化为可执行的程序，并且在运行时能够正常执行所期望的功能。
一种翻译程序。能把用高级语言编写的源程序翻译成目标程序。翻译后的目标程序并不一定马上送入计算机中执行。需用多条语句才能对应一句源程序的语句。
