Трансля́тор — программа, выполняющая трансляцию программы .Транслятор обычно выполняет диагностику ошибок, формирует словари идентификаторов, выдаёт для печати тексты программы и т. д.
Трансляторы бывают несколько видов:

Диалоговый-обеспечивает использование языка программирования в режиме разделения времени.
Синтаксически-ореинтированный-получает на вход описание синтаксиса и семантики языка и текст на описанном языке, который и транслируется в соответствии с заданным описанием.
Однопроходный-формирует объектный модуль за один последовательный просмотр исходной программы.
Многопроходный-формирует объектный модуль за несколько просмотров исходной программы.
Оптимизирующий-выполняет оптимизацию кода в создаваемом объектном модуле.
Тестовый-набор макрокоманд языка ассемблера, позволяющих задавать различные отладочные процедуры в программах, составленных на языке ассемблера.
Обратный-для программы в машинном коде выдаёт эквивалентную программу на каком-либо языке программирования.