Como se denomina o programa que realiza a análise de um outro programa escrito em linguagem de alto nível, o programa-fonte, e faz a sua conversão (tradução) em um programa de linguagem binária de máquina, denominado programa-objeto ?