A computer program that transforms a sequence of statements expressed in one language into an equivalent sequence of statements expressed in another language.