Ekuivalensi NFA-DFA

Galuh 2018 Otomata & Teori Bahasa ( Week 4 )

Contents

1 Definisi Ekivalensi

2 Langkah-langkah Pengubahan

3 Contoh Ekuivalensi NFA - DFA

Definisi Ekuivalen

 Dari sebuah mesin Non-deterministic Finite Automata dapat dibuat mesin

Deterministic Finite Automata-nya yang ekivalen (bersesuaian).
 Ekuivalen disini artinya kedua mesin tersebut mampu menerima bahasa
yang sama.
Definisi Ekuivalen

 Example : 0,1 0,1

0 0
q0 q₁ q0 q₁

0,1
1
q₂

Mesin DFA Mesin NFA

Tahapan Pengubahan

0 1

0,1
q0 q₁ Bagaimana cara
mengubah NFA
tersebut ke DFA
1

Mesin NFA
Tahapan Pengubahan

δ
 Buatlah 0
tabel transisi : 1
q0 qoq1 q1
q1 Ø qoq1

 Dengan adanya table transisi tersebut akan mempermudah kita melakukan

langkah selanjutnya.
 Tahapan Pengubahan

 Dimulai dengan menggambar state awal :

q0

 Selanjutnya kita telusuri state berikutnya yang diperoleh dengan memanfaatkan

table transisinya.
 Telusuri state-state baru yang terbentuk
 Untuk menentukan state akhir hasil ekuivalensi, selalu merujuk pada state akhir
mesin NFA yang belum diubah.
Tahapan Pengubahan
 Hingga diperoleh hasil akhir :

0,1
1
q₁ 0

1
q0 Ø

0 0,1
q0q₁

Mesin DFA yang ekuivalen dengan NFA

Tahapan Pengubahan

 Kita bisa memeriksa apakah kedua otomata tersebut ekivalen.

 Untuk membuktikannya kita perlu memperlihatkan bahwa suatu bahasa
yang diterima oleh NFA juga diterima oleh DFA ekuivalennya.
Tahapan Pengubahan

 Bila diketahui Non-deterministic Finite Automata semula gambar menerima

string ‘001’,
 maka seharusnya Deterministic Finite Automata pada gambar juga
menerima string tersebut.
δ (q0,001)= δ ( {q0, q1},01)
= δ ( {q0, q1},1)
= {q0, q1}

 Karena state {q0, q1} termasuk state akhir, maka berarti string tersebut
diterima.
 Contoh ekuivalensi NFA-DFA

a) Mesin NFA
a

a,b
q0 q₁

b) Mesin NFA

q0

c) Mesin NFA
p r
q0 q₁ q2
p,r
p
Ekuivalensi NFA ke DFA

a b
q0 q0 q1 q1
q1 Ø q2
q2 Ø Ø
Exersice

Look at the whiteboard

please…. 
Galuh 2018