Mesin Moore dan Mealy

Hananto Widhi 23503075 IF-6001 Matematika Informatika Departemen Teknik Informatika ITB

Pendahuluan
FSA hanya memberikan status keluaran berupa indikasi biner diterima atau ditolak terhadap string masukan. Dibutuhkan mesin finite state lain yang menghasilkan keluaran bukan biner tapi suatu simbol alfabet lain. Finite State Transducer (FST): mesin yang menerima string masukan dan menerjemahkannya menjadi string keluaran. Pendekatan perancangan FST:
FST yang keluarannya diasosiasikan dengan suatu status, disebut mesin Moore. FST yang keluarannya diasosiasikan dengan suatu transisi, disebut mesin Mealy.

Mesin Moore (1)

Mesin Moore dinyatakan dengan 6-tuple (Q, , , , , q0), dimana:
Q:himpunan berhingga status. : himpunan berhingga simbol alfabet. : himpunan simbol keluaran (alfabet keluaran). : fungsi transisi yang memetakan Q x ke Q. : fungsi yang memetakan Q ke , memberikan keluaran yang diasosiasikan dengan tiap status. q0: status awal, anggota Q.

Mesin Moore (2)

Keluaran mesin Moore terhadap masukan a1 a2ann adalah (q0)(q1)(qn) dimana q0, q1,,qn adalah barisan status sedemikian sehingga (qi-1,ai) = qi untuk 1in Jika string masukan , mesin Moore memberikan keluaran (q0)

Contoh Mesin Moore (1)

Mesin Moore yang menghasilkan keluaran modulo 5 dari suatu bilangan bulat positif biner adalah: (Q, , , , , q0) dimana:
Q = {q0, q1, q2, q3, q4} = {0,1} = {0,1,2,3,4} = Q , yaitu (q0) = j untuk j = 0,1,2,3,4

Contoh Mesin Moore (2)

Q x Q didefinisikan sbb: Status q0 q1 q2 q3 q4 0 q0 q2 q4 q1 q3 Masukan 1 q1 q3 q0 q2 q4

Contoh Mesin Moore (3)

0 0 start q0 1 1 q1 1 0 1 0 2 q2 1 3 q3 0 0 1 4 q4

Mesin Mealy (1)

Mesin Mealy dinyatakan dengan 6-tuple (Q, , , , , q0), dimana:
Q:himpunan berhingga status. : himpunan berhingga simbol alfabet. : himpunan simbol keluaran (alfabet keluaran). : fungsi transisi yang memetakan Q x ke Q. : fungsi yang memetakan Q x ke , (q,a) memberikan keluaran yang diasosiasikan dengan transisi dari q thd simbol keluaran a. q0: status awal, anggota Q.

Mesin Mealy (2)

Keluaran mesin Mealy terhadap masukan a1 a2ann adalah (q0,a1) (q0,a1) (q1,a2) (qn-1,an) dimana q0, q1,,qn-1 adalah barisan status sedemikian sehingga (qi-1,ai) = qi untuk 1in Jika string masukan , mesin Mealy memberikan keluaran

Contoh Mesin Mealy (1)

Mesin Mealy yang menerima bahasa himpunan string dari alfabet {0,1} yang dua simbol akhirnya sama adalah: (Q, , , , , q0) dimana:
Q = {q0, q1, q2} = {0,1} = {y,n}

Contoh Mesin Mealy (2)

=QxQ Status q0 q1 q2 0 q1 q1 q1 Masukan 1 q2 q2 q2

Contoh Mesin Mealy (3)

=Qx Status q0 q1 q2 0 n y n Masukan 1 n n y

Contoh Mesin Mealy (3)

0/y q1 0/n start q0 1/n q2 1/n 0/n

1/y

Ekivalensi M. Moore & Mealy

Jika diberikan mesin Moore maka kita dapat membuat mesin Mealy dan sebaliknya. Diberikan
mesin Moore M1 = (Q, , , , , q0) mesin Mealy M2 = (Q, , , , , q0)

Maka didefinisikan (q,a) = ( (q,a)) untuk semua q di dalam Q, a di dalam , dan b di dalam

Ekivalensi M. Moore & Mealy

q a Mesin Moore b p q a/b Mesin Mealy p

Ekivalensi M. Mealy & Moore

Jika diberikan
mesin Mealy M1 = (Q, , , , , q0) mesin Moore M2 = (Q, , , , , [q0 ,b0])

Mesin Moore M2 yg ekivalen dengan M1 dibuat dengan memecah setiap status dari M1 menjadi sejumlah |Q| x || status yg berbeda pada M2. Maka didefinisikan
([q,b],a)=[(q,a), (q,a)] (q,b) = b

Ekivalensi M. Mealy & Moore

q a/x Mesin Mealy p q a Mesin Moore x [p,x]