Ένα πρόγραμμα υπολογιστή που μετασχηματίζει μια ακολουθία από καταστάσεις εκφράζονται σε μία γλώσσα σε μια ισοδύναμη ακολουθία των καταστάσεων που εκφράζονται σε άλλη γλώσσα.