能將高級語言編寫的程序轉換成目標程序的是編譯程序，由高級語言編寫的程序稱為“源程序”，由二進制代碼表示的程序稱為“目標程序”，而把源程序轉換成機器能夠識別的目標程序是由“編譯程序”完成的。

編譯程序的實現算法較為復雜。這是因為它所翻譯的語句與目標語言的指令不是一一對應關系,而是一多對應關系;同時也因為它要處理遞歸調用、動態存儲分配、多種數據類型，以及語句間的緊密依賴關系。