Page 30 - coba Revisi Modul Organisasi dan Arsitektur Komputer_Neat

● 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

 qo: adalah status awal tempat masukan pertama

kali diproses (qo € Q)

1.6 Diagram Status FSM

Diagram status FSM dapat diturunkan dari rangkaian

sekuensial yang di dalamya terdapat memori

penyimpan status. Terdapat beberapa tahapan untuk

mengubah dari rangkaian sekuensial menjadi diagram

status FSM sebagai berikut.

20