Anda di halaman 1dari 8

FiniteStateAutomataDengan Output

Mesin Moore
&
Mesin Mealy

DarwinPanjaitanAutomata

Keterbatasan dari finitestateautomatayang


sudah dipelajari selama ini adalah
keputusannya terbatas pada diterima atau
ditolak.
Otomata (FSA)yanghanya mempunyai
keputusan diterima atau ditolak disebut
accepter.
Otomata (FSA)yangmemiliki keputusan
beberapa keluaran/outputdisebut transducer.
DarwinPanjaitanAutomata

Mesin Moore:menghasilkanhimpunanoutputdari
himpunaninputygdiberikan(outputbergantungpadastate)
dengankatalainOutputakan berasosiasi dengan state.
Mesin MealY :menghasilkanhimpunanoutputdarihimpunan
inputygdiberikan(outputbergantungpadatransisidan
state)dengankatalainOutputakan berasosiasi dengan
transisi.
Didefinisikan dalam 6tupel,M=(Q,,,S,, )dimana :
Q=himpunan state.
=himpunan simbol input.
=fungsi transisi.
S=stateawal,S Q
=himpunan output
=fungsi outputuntuk setiap statepada

DarwinPanjaitanAutomata

Mesin Moore

Contoh:himpunan outputmerupakan sisa pembagian (modulus)suatu bilangan


dengan 3,inputdalam bilangan biner (0,1)
Konfigurasi mesin sebagai berikut :

Q={q0,q1,q2}
={0,1}
={0,1,2} (himp output moddari 3maka sisanya adalah (0,1,2))
S=q0
(q0)=0
0
(q1)=1
0
1
(q2)=2
q
q
0

`
`

q2

Latihan :
5mod3 =?
9mod3=?

DarwinPanjaitanAutomata

Mesin Mealy

Mesin Mealydidefinisikan dalam 6tupel :


M=(Q,,,S,,),dimana:
Q=himpunan state
=himpunan symbolinput
=fungsi transisi
S=stateawal,S Q
=himpunan output
=fungsi outputuntuk setiap transisi

Contoh:BuatMesinMealyyangmenghasilkan outputYa (Y)atau Tidak (T)


bila menerima stringyg memiliki 2simbol berurutan.Himpunan input
{0,1}

DarwinPanjaitanAutomata

0/Y

q1

q1

0
q0

0/T
1

q0

1/T
1/T

q2

q2
1

1/Y

Konfigurasi mesin sebagai berikut :


Q={q0,q1,q2}
={0,1}
={Y,T}
S=q0

0/T

Fungsi output:
(q0,0)=T
(q0,1)=T
(q1,0)=Y
(q1,1)=T
(q2,0)=T
(q2,1)=Y

DarwinPanjaitanAutomata

Ekuivalensi Mooredan Mealy


Ekivalensi Mealy Moore
Contoh sebelumnya:
Pada mesin Mealy Jumlah state=3,Jumlah output=2
Jumlah statepada mesin Mooreyg ekuivalen =6
1
Konfigurasi mesin Mooreyg dibentuk:
1

Q={q0Y,q0T,q1Y,q1T,q2Y,q2T}
={0,1}
={Y,T}
S=q0T
(q0Y)=Y
(q0T)=T
(q1Y)=Y
(q1T)=T
(q2Y)=Y
(q2T)=T

q0T

q1T

q2T

1
0

0
q0Y

1
q1Y

q2Y
1
1

Y
DarwinPanjaitanAutomata

Ekuivalensi Mooredan Mealy


Ekivalensi Moore Mealy
Contoh sebelumnya:
Menambah labeloutputpada setiap transisi
Menghapus labeloutputpada setiap state
Konfigurasi mesin Mealyyg dibentuk:
Q={q0,q1,q2 }
={0,1}
={0,1,2}
S=q0
(q0,0)=0
(q0,1)=1
(q1,0)=2
(q1,1)=0
(q2,0)=1
(q2,1)=2

1/2

0/0
q0

1/1

1/0

DarwinPanjaitanAutomata

q1

0/2

0/1

q2