程序的原始形式稱為源程序或源代碼，翻譯後的形式稱為目標程序或目標代碼。
大多數翻譯程序都是可執行程序，將高級語言編寫的程序翻譯成機器語言。然而，壹些翻譯程序將源程序翻譯成其他高級語言或字節碼等中間形式。翻譯不是語言處理器。
任何高級程序都有相應的編譯器來完成源程序的翻譯。壹個編譯器必須包含至少三個過程。詞法分析器，語法分析器，代碼生成器。
編譯器(Compiler)又稱編譯程序(compiler)，是指把用高級編程語言編寫的源程序翻譯成機器語言格式的等價目標程序的翻譯程序。編譯器屬於通過生成實現來實現的翻譯程序。它以高級編程語言編寫的源程序為輸入，以匯編語言或機器語言表達的目標程序為輸出。編譯後的目標程序通常要經過運行階段，以便在運行程序的支持下運行，處理初始數據，計算出所需的計算結果。