Page 103 - E-MODUL ORGANISASI DAN ARSITEKTUR KOMPUTER FIX

Gambar 5.17 Tipe finite state machine (a) Moore dan (b) Mealy

Mesin Moore dapat representasikan sebagai 6 tuple (Q, Σ,
O, 8, X, qo) dimana :
Q: kumpulan berhingga status (state)

Σ: kumpulan berhingga simbol yang disebut alfabet
Masukan

O: kumpulan berhingga simbol yang disebut alfabet luaran
8: fungsi transisi masukan, 8: Q x Σ→ Q

X: fungsi transisi luaran, X: Q → 0
qo: adalah status awal tempat masukan pertama kali diproses (qo € Q)

Sementara itu tipe Mealy seperti gambar 1.17.b memiliki

karakteristik luaran yang dipengaruhi oleh status saat ini dan juga
masukan. Mesin Mealy dapat representasikan sebagai 6 tuple (Q,
E, O, 8, X, qo) dimana

• Q: kumpulan berhingga status (state)

• Σ: kumpulan berhingga simbol yang disebut alfabet

masukan

• 0: kumpulan berhingga simbol yang disebut alfabet luaran

• 8: fungsi transisi masukan, 8: Q x Σ→ Q

• X: fungsi transisi luaran, X: Q x Σ→ O

89