RESTI AMALIA
Reduksi DFA
Ada dua buah istilah baru yang perlu kita ketahui yaitu :
3. Untuk setiap pasangan (p,q) sisanya, untuk setiap a∈ Σ, tentukan δ(p,a) dan δ(q,a)
Reduksi Jumlah State pada Finite State
Automata
Untuk suatu bahasa regular, kemungkinan ada sejumlah Deterministic Finite Automata yang dapat
menerimanya.
Perbedaannya hanyalah jumlah state yang dimiliki otomata-otomata yang saling ekuivalen tersebut. Tentu
saja, dengan alasan kepraktisan, kita memilih otomata dengan jumlah state yang lebih sedikit.
Sasaran kita di sini adalah mengurangi jumlah state dari suatu Finite State Automata, dengan tidak
2. Gabungkan setiap group indistinguishable state ke dalam satu state dengan relasi pembentukan
group secara berantai : Jika p dan q indistingishabledan jika q dan r indistinguishable maka p dan
r indistinguishable, dan p,q serta r indistinguishable semua berada dalam satu group.
Untuk (q0, q1) : Untuk (q0, q2) : Untuk (q0, q3) : Untuk (q1, q2) : Untuk (q1, q3) : Untuk (q2, q3) :
δ(q0, 1) = q3 δ(q0, 1) = q3 δ(q0, 1) = q3 δ(q1, 1) = q4 δ(q1, 1) = q4 δ(q2, 1) = q4
δ(q1, 1) = q4 δ(q2, 1) = q4 δ(q3, 1) = q4 δ(q2, 1) = q4 δ(q3, 1) = q4 δ(q3, 1) = q4
δ(q0, 0) = q1 δ(q0, 0) = q1 δ(q0, 0) = q1 δ(q1, 0) = q2 δ(q1, 0) = q2 δ(q2, 0) = q1
δ(q1, 0) = q2 δ(q2, 0) = q1 δ(q3, 0) = q2 δ(q2, 0) = q1 δ(q3, 0) = q2 δ(q3, 0) = q2
Maka (q0, q1) : Maka (q0, q2) : Maka (q0, q3) : Maka (q1, q2) : Maka (q1, q3) : Maka (q2, q3) :
Distinguishable Distinguishable Distinguishable Indistinguishable Indistinguishable Indistinguishable
4. Maka Didapatkan pasangan state sebagai berikut :
(q0, q1) : Distinguishable
(q0, q2) : Distinguishable
(q0, q3) : Distinguishable
(q0, q4) : Distinguishable
(q1, q2) : Indistinguishable
(q1, q3) : Indistinguishable
(q1, q4) : Distinguishable
(q2, q3) : Indistinguishable
(q2, q4) : Distinguishable
(q3, q4) : Distinguishable
5. Kelompokkan pasangan state yang indistinguishable :
(q1, q2) : Indistinguishable
(q1, q3) : Indistinguishable
(q2, q3) : Indistinguishable
6. Karena q1 indistinguishable dengan q2, dan q2 indistinguishable dengan q3, maka bisa
dikatakan bahwa q1, q2, dan q3 saling indistinguishable dan dapat dijadikan satu state.
7. Sehingga hasil penyederhanaannya adalah sebagai berikut :
Soal :
1. Lakukan reduksi jumlah state pada Deterministic Finite Automata berikut.