TEORI BAHASA DAN

AOUTOMATA
PERTEMUAN IV

NFA dengan -MOVE

NFA yang diperbolehkan merubah state
tanpa membaca input, jadi tidak tergantung
pada input ketika melakukan transisi.
Digunakan untuk mempermudah kita dalam
mengkombinasikan FSA

Contoh NFA dengan -Move

q0

q1

q2

q3

q4

Dari q0 tanpa membaca input dapat berpindah ke q1

Dari q1 tanpa membaca input dapat berpindah ke q3
Dari q2 tanpa membaca input dapat berpindah ke q4

-closure

-closure adalah himpunan state-state yang

dicapai dari suatu state tanpa membaca
input
Dari gambar sebelumnya kita ketahui closure untuk setiap state adalah :
-closure(q0)={q0,q1,q3}
-closure(q1)={q1,q3}
-closure(q2={q2,q4}
-closure(q3)={q3}
-closure(q4)={q4}

Ekivalensi NFA -Move ke NFA

tanpa -Move

1.
2.
3.

4.

5.

Cara merubah dari NFA -Move ke NFA tanpa -Move

langkahnya sbb:
Buat tabel transisi NFA -Move
Tentukan -closure untuk setiap state
Cari setiap fungsi transisi hasil perubahan dari NFA Move ke NFA tanpa -Move disebut dengan rusmus :
(state,input)= closure((-closure(state),input))
Dari hasil no.3 buat tabel transisi dan diagram transisi
dari NFA tanpa -Move yang ekivalen NFA -Move
Tentukan state-state akhir dalam bahasa formal F=F
{q|(-closure(q) F) 0. misal bila F={q0,q3), -closure
(q1)={q0,q2), maka F={q0,q1,q3

NFA dengan -Move

q0

q1

q2

b
q3

Tabel Transisi NFA -Move

q0

q1

q2

q3

q2

q3

-closure untuk setiap state :

o -closure(q0)={q0,q1}
o -closure(q1)={q1}
o -closure(q2)={q2}
o -closure(q3)={q3)

Fungsi transisi
o (q0,a)

= -closure((-closure(q0),a))
= -closure(({q0,q1},a))
= -closure(q2)
= {q2}

o (q0,b)
=
=
=
o (q1,a)
=
=
=
o (q1,b)
=
=
=

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

o (q2,a)
=
=
=
o (q2,b)
=
=
=
o (q3,a)
=
=
=
o (q3,b)
=
=
=

= -closure((-closure(q2),a))
-closure(({q2},a))
-closure(0)
{0}
= -closure((-closure(q2),b))
-closure(({q2},b))
-closure(0)
{0}
= -closure((-closure(q3),a))
-closure(({q3},a))
-closure(0)
{0}
= -closure((-closure(q3),b))
-closure(({q3},b))
-closure(0)
{0}

Tabel Transisi NFA tanpa -Move

q0

q2

q3

q1

q2

q3

q2

q3
Himpunan

0
0 adalah {q3},
state
akhir semula
karena tidak ada state lain yang -closure
nya memuan q3, maka himpunan state
akhir tetap {q3}.

NFA tanpa -Move

a

q0

q1

q2

b
q3