TEORI KOMPUTASI

Pertemuan 4
 NFA dengan ε-move :
 ε-move merupakan transisi empty yaitu perpindahan state tanpa
pembacaan input, artinya tidak bergantung pada input ketika
melakukan transisi.
 ε-closure adalah himpunan state-state yang dapat dicapai dari suatu
state tanpa membaca input, dikarenakan adanya ε-move.
Perhatikan NFA berikut :

ε a
q0 q1 q2

b ε-closure (q0) = {q0,q1,q3}

ε ε ε-closure (q1) = {q1,q3}
ε-closure (q2) = {q2,q4}
ε-closure (q3) = {q3}
q3 q4 ε-closure (q4) = {q4}

* State yang tidak memiliki

NFA ε-move transisi ε, maka ε-closure-nya
adalah state itu sendiri *
 Ekivalensi NFA ε-move ke NFA tanpa ε-move
 Dari sebuah NFA ε-move dapat diperoleh NFA tanpa ε-
move.
ε a
q0 q1 q2

q3
NFA ε-move
a

q1 a q2
q0

b
q4
NFA tanpa
ε-move
 Tahapan Ekivalensi :
1. Jika belum ada, buat tabel transisi untuk NFA ε-move
tersebut,
2. Tentukan ε-closure untuk setiap state,
3. Carilah setiap fungsi transisi hasil perubahan dari NFA ε-
move ke NFA tanpa ε-move (dinotasikan dengan δ’),
dengan rumus :
δ’(state,input) = ε-closure (δ(ε-closure (state),input))
4. Berdasarkan hasil (3) dapat dibuat fungsi transisi dan
diagram transisi untuk NFA tanpa ε-move yang ekivalen
dengan NFA ε-move tersebut,
5. Tentukan state akhir untuk NFA tanpa ε-move tersebut,
yaitu state-state akhir semula ditambah dengan state-state
yang ε-closure-nya menuju ke salah satu dari state akhir
semula, atau
F’ = F U {q | ε-closure (q) ∩ F ≠ Ø}
 Contoh :
a

ε
q0 q1

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