Un programme informatique qui transforme une séquence d'instructions exprimées dans une langue en une séquence équivalente des déclarations exprimées dans une autre langue.