Ekivalensi Non-Deterministic Automata (NFA) ke Deterministic Finite Automata (DFA)
NFA
1.) Buat Tabel Transisi
δ
|
0
|
1
|
q0
|
{q0, q1}
|
q1
|
q1
|
θ
|
{q0, q1}
|
2.) Buat Tupel
δ = {q0 , q1}
Ʃ = {0 ,
1}
s = q0
f = q1
3.) Buat DFA
Sederhanakan dengan memakai table transisi tadi sebagai panduan
dalam membuat diagramnya sehingga akhirnya didapatkan bentuk baru dari
diagramnya.
Catatan : Diketahui di awal bahwa q1 merupakan final
state.Maka dari itu,semua state yang mengandung q1 harus memiliki lingkaran
tambahan sebagai tanda final state.Contohnya pada state {q0, q1} yang
mengandung unsur q1 sehingga diberi tambahan lingkaran final state.
Komentar
Posting Komentar