Page 29 - coba Revisi Modul Organisasi dan Arsitektur Komputer_Neat
P. 29
1.5 Finite State Machine (FSM)
Rangkaian sekuensial memiliki kemampuan untuk
menggambarkan perilaku sistem yang dipengaruhi oleh
sinyal masukan dan nilai status/kondisi sebelumnya.
Kemampuan menyimpan status sebelumnya
merupakan pembeda antara rangkaian sekuensial
dengan kombinasional. Status saat ini akan disimpan
untuk digunakan pada proses berikutnya. Rangkaian ini
sering disebut sebagai Finite State Machine (FSM).
Terdapat dua model FSM untuk menggambarkan
masukan-proses- luaran pada rangkaian sekuensial
yaitu tipe Moore dan Mealy. Tipe Moore seperti
gambar 7.17.a memiliki karakteristik luaran yang
hanya dipengaruhi oleh status saat ini.
Gambar 1.17 Tipe finite state machine (a) Moore dan
(b) Mealy
Mesin Moore dapat representasikan sebagai 6 tuple (Q,
Σ, O, 8, X, qo) dimana :
19