Un programa informático que transforma una secuencia de sentencias expresadas en un idioma en una secuencia equivalente de declaraciones expresada en otro idioma.