Programa traductor que genera lenguaje máquina (Ver: Código Máquina) a partir de un lenguaje de programación de alto nivel basado en el lenguaje. Programa capaz de traducir un codigo fuente, escrito en el lenguaje de alto nivel que sea, a un codigo objeto escrito en lenguaje de maquina.