翻譯系統本身是一組程序，它是人們為了方便使用計算機而開發的人與計算機交互使用能相互理解的語言，以便人把自己的意圖告訴計算機，而計算機又要把它的工 作結果告訴人。人與計算機交互所使用的語言稱為程序設計語言。 計算機程序設計語言通常有機器語言、彙編語言和高級語言幾類。
機器語言.
每台計算機都配有自己能執行的一組指令，叫做指令系統。其中每條指令都對應一串二進制代碼，這些二進制代碼指令稱為機器語言。機器語言是計算機唯一能夠識別並能直接執行的語言。用機器語言編寫程序是十分繁瑣的，且寫出的程序可讀性很差。
彙編語言.
為了方便地使用計算機，人們一直在努力改進程序設計語言。50年代初，人們創造出了彙編語言。 彙編語言不再使用二進制代碼，而是使用比較容易識別和記憶的符號，所以，人們又稱彙編語言為助記符語言。 彙編語言和機器語言都屬於低級語言，或稱面向機器的程序設計語言.
高級語言.
50年代中期，人們又創造了高級語言。高級語言接近於自然語言，它不依賴於機器，通用性好。但是用高級語言編寫的源程序也要用翻譯的方法把高級語言源程序翻譯成目標程序才可以被執行。
解釋程序用於對高級語言源程序語句逐句進行解釋，解釋一句，執行一句，它不保留目標程序代碼，不產生可執行文件。這種方式速度較慢，每次運行都要解釋一次，邊解釋邊執行。早期的BASIC語言，PROLOG語言就是這樣，現在已很少使用這種方式了。
編譯程序是將高級語言源程序翻譯成以.OBJ為擴展名的目標程序，然後再用連接程序把目標程序與庫文件相連接形成擴展名為.EXE的可執行文件（也稱運 行程序）。編譯過程稍微複雜了些，但它形成的可執行文件可反覆利用，且速度較快。運行時只要輸入可執行程序的文件名即可。
目前，普遍使用的大部分高級語言，如C語言、Java語言等都需要相應的編譯程序。
上述的彙編程序、解釋程序和編譯程序都屬於翻譯系統。
