NFA dengan Empty Move - Tata bahasa dan Automata

 NFA dengan e-move diperbolehkan merubah state tanpa membaca input.

disebut dengan e-move karena tidak bergantung pada 1 input saat melakukan transisi.

suatu e-move untuk state q1 ke q2 yang terhubung dapat berpindah tanpa menghasilkan inputan apapun.

contoh :

tanpa membaca inputan :

q0 dapat berpindah ke q1

q1 dapat berpindah ke q2

q4 dapat berpindah ke q1

e-closure adalah himpunan state yang dapat di capai dari suatu state tanpa membaca input.

e-closure (q0) adalah himpunan state yang dapat dicapai dari state 0

transisi awal :

menentukan e-closure :

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

e-closure (q1) = {q1,q2}

e-closure (q2) = {q2}

e-closure (q3) = {q3}

e-closure (q4) = {q4,q1,q2}