Finite State Transducer (FST) adalah mesin yang menerima string masukan dan menerjemahkannya menjadi string keluaran. Terdapat dua jenis FST yaitu Mesin Moore dan Mesin Mealy, di mana Mesin Moore menghasilkan output berdasarkan status sedangkan Mesin Mealy menghasilkan output berdasarkan transisi. Mesin Moore dan Mesin Mealy dapat diubah menjadi ekuivalen satu sama lain.