Um programa de computador que transforma uma seqüência de instruções expressado em um idioma em uma seqüência equivalente de declarações expressado em outro idioma.