O programa de sistema que traduz outro descrito em uma linguagem de alto nível para um equivalente em código de máquina para um processador, em geral, não produz diretamente o código de máquina, mas sim um programa em linguagem simbólica (assembly), semanticamente equivalente ao de linguagem de alto nível. Este programa denomina-se