TEORI KOMPUTASI

Pertemuan 3
Ekivalensi NFA ke DFA :
Perhatikan kedua FSA berikut :
0,1

q1 0,1
0
0
Q1 Q2
q0
0,1
1
q2 NFA

DFA
 Tahapan Ekivalensi :
1. Jika belum ada, buat tabel transisi untuk NFA tersebut,
2. Mulai dengan menggambarkan kembali state awal dari NFA
tersebut,
3. Telusuri transisi dari state awal tersebut, untuk membentuk state-
state baru, dengan memanfaatkan tabel trensisi. Jika δ(q0,0)={q1},
maka buat sebuah state baru dengan label q1, jika δ(q0,0)={q1,q2),
maka maka buat sebuah state baru dengan label {q1,q2}, jika
δ(q0,0)=Ø, maka maka buat sebuah state baru dengan label Ø.
4. Telusuri juga transisi dari state-state baru tersebut, dengan
memanfaatkan tabel trensisi,
5. Transisi state Ø untuk semua simbol masukkan adalah ke state Ø
itu sendiri,
6. Tentukan state akhir untuk DFA baru yang terbentuk, dimana
semua state yang labelnya mengandung label state akhir pada
NFA sebelumnya, maka state tersebut yang merupakan state
akhir pada DFA yang terbentuk.
Contoh :
a

a,b
q0 q1

Definisi Formal :
Q = {q0,q1}
Σ = {a,b}
S = q0
F = {q1}