La forma original del programa se llama programa fuente o código fuente, y la forma traducida se llama programa objeto o código objeto.
La mayoría de los programas de traducción son programas ejecutables que traducen programas escritos en lenguajes de alto nivel al lenguaje de máquina. Sin embargo, algunos programas de traducción traducen programas fuente a otros lenguajes de alto nivel o formas intermedias, como el código de bytes. Los traductores no son procesadores de lenguaje.
Cualquier programa de alto nivel tiene su correspondiente compilador para completar la traducción del programa fuente. Un compilador debe contener al menos tres procedimientos. Analizador léxico, analizador de sintaxis, generador de código.
Compilador, también conocido como compilador, se refiere a un programa de traducción que traduce programas fuente escritos en lenguajes de programación de alto nivel a programas de destino equivalentes en formato de lenguaje de máquina. Los compiladores son programas de traducción que hacen esto generando implementaciones. Toma un programa fuente escrito en un lenguaje de programación de alto nivel como entrada y un programa de destino expresado en lenguaje ensamblador o lenguaje de máquina como salida. El programa de destino compilado generalmente pasa por la etapa de ejecución y se ejecuta con el apoyo del programa en ejecución, procesa los datos iniciales y calcula los resultados del cálculo requerido.