MESIN MOORE
Suatu keterbatasan dari finite state automata yang sudah kita pelajari selama ini keputusannya terbatas pada diterima atau ditolak. otomata tersebut biasa disebut sebagai accepter, Kita bisa mengkonstruksi sebuah finite state automata yang memiliki keputusan beberapa keluaran/output, dalam hal ini otomata tersebut akan dikenal sebagai transducer. Pada mesin Moore, output akan berasosiasi dengan state. Mesin Moore didefinisikan dalam 6 (enam) tupel, M = (Q, S,d, S, D, l), dimana:
Q = himpunan state
S = himpunan symbol input
d = fungsi transisi
S = state awal, SÃŽ Q
D = himpunan output
l = fungsi output untuk setiap state
Buat contoh Mesin Abstrak Moore lengkapi isian formal masing masing tuplenya.