Para traduzir um programa compilado a partir de sua versão da linguagem de máquina em uma forma que se assemelha, mas não pode ser idêntico, o programa original de alta ordem.