NFA dengan move NFA dengan move Pada NFA

NFA dengan ε-move

NFA dengan ε move � Pada NFA dengan ε-move (transisi ε), diperbolehkan merubah state tanpa membaca input. � Disebut dengan transisi ε karena tidak bergantung pada suatu input ketika melakukan transisi.

Contoh

� Dari q 0 tanpa membaca input dapat berpindah ke q 1 � Dari q 1 tanpa membaca input dapat berpindah ke q 2 � Dari q 4 tanpa membaca input dapat berpindah ke q 1

ε-Closure untuk Suatu NFA dengan εMove � ε-Closure adalah himpunan state-state yang dapat dicapai dari suatu state tanpa membaca input. � Pada suatu state yang tidak memiliki transisi ε, maka ε- closure-nya adalah state itu sendiri.

ε-closure(q 0) = { q 0, q 1, q 2}, ε-closure(q 1) = { q 1, q 2}, ε-closure(q 2) = { q 2}, ε-closure(q 3) = { q 3}, ε-closure(q 4) = { q 1, q 2, q 4}

Ekivalensi NFA dengan ε-Move ke NFA tanpa ε-Move q 0 q 1 q 2 q 3 a θ q 2 θ θ b θ q 3 θ θ

1. Tentukan ε-closure(q 0) = { q 0, q 1}, ε-closure(q 1) = { q 1}, ε-closure(q 2) = { q 2}, ε-closure(q 3) = { q 3}

2. Cari ’ � Dengan memanfaatkan tabel transisi dan ε-closure yang kita peroleh sebelumnya � ’ (q 0, a) = ε-closure (δ(ε-closure (q 0), a)) = ε-closure (δ ({ q 0, q 1}, a)) = ε-closure (q 2) = {q 2}

3. Buat Tabel ’ ’ a b q 0 q 2 q 3 q 1 q 2 q 3 q 2 θ θ q 3 θ θ

4. Gambarkan NFA yang baru

5. Tentukan F � Himpunan state akhir semula adalah {q 3}. Karena tidak ada state lain yang εclosurenya memuat q 3, maka himpunan state akhir sekarang tetap {q 3}.