Para traducir un programa compilado de la versión de idioma de la máquina en una forma que se asemeja, pero no puede ser idéntico al programa original de lenguaje de alto orden.