TBO

Ekuivalensi NFA ke DFA

Dine Tiara Kusuma

Ekuivalensi Non- ■ Dari sebuah mesin Non-Deterministic
Deterministic Finite Automata dapat dibuat mesin
Deterministic Finite Automata-nya yang
Finite Automata ekuivalen (bersesuaian). Ekuivalen di
ke Deterministic sini artinya mampu menerima bahasa
yang sama.
Finite Automata
 Sebagai contoh, akan dibuat Deterministic
Finite Automata dari Non-Deterministic Finite
Automata berikut :
Ekuivalensi
Non-
Deterministic
Finite Automata
ke Deterministic
Finite Automata
Diketahui Σ= {0,1}
Ekuivalensi Non- Langkah – Langkah :
1. Buat table transisi dari diagram transisi tersebut
Deterministic
Finite Automata
ke Deterministic
Finite Automata
2. Buat diagram transisi untuk Finite State Automata dari
tabel transisi di atas.

Catatan :
Perhatikan bahwa di
sini pada gambar setiap
state kita tuliskan
sebagai himpunan state
 3. Table Transisi Ekuivalensi NFA ke DFA
Ekuivalensi Non- α 0 1

Deterministic {q0}
{q1}
{q0,q1}
Φ
{q1}
{q0,q1}
Finite Automata ke {q0,q1} {q0,q1} {q0,q1}

Deterministic Φ Φ Φ

Finite Automata 4. Diagram Transisi Ekuivalensi NFA ke DFA

0,1 Φ 0
{q1}

1
{q0} 1

0
{q0,q1}
0,1
 ■ Contoh lain, buatlah DFA dari NFA berikut :

Ekuivalensi
Non-
Deterministic
Finite Automata ■ Tabel Transisi untuk diagram transisi di
atas :
ke Deterministic
Finite Automata
 ■ Table Transisi Ekuivalensi NFA ke DFA
α a b
Ekuivalensi Non- {q0} {q0,q1} {q1}
Deterministic {q1} Φ Φ

Finite Automata {q0,q1}

Φ
{q0,q1}
Φ
{q1}
Φ
ke Deterministic
■ Diagram Transisi Ekuivalensi NFA ke DFA
Finite Automata