NFA Dengan E-Move

NFA dengan E-Move (transisi E-Move), diperbolehkan merubah State tanpa membaca input. Disebut dengan E-Move karena tidak bergantung pada 1 input saat melakukan transisi. Sebuah transisi mempunyai input / output / E-Move. Suatu E-Move untuk state q1 ke q2 yang tehubung dapat berpindah tanpa menghasilkan inputan apapun pada transisi nya.

Contoh, Diagram Transisi 1

Tanpa membaca input :
• q0 dapat berpindah ke q1
• q1 dapat berpindah ke q2
• q4 dapat berpindah ke q1

E-Closure ? 

E-Closure adalah himpunan state yang dapat di capai dari suatu state tanpa membaca input E-Closure (q0) = himpunan state yang dapat dicapai dari stste q0 tanpa membaca input Pada suatu state yang tidak memiliki E-Move, maka E-Closure nya adalah state itu sendiri

Contoh, Diagram Transisi 1

• E-Closure (qo) = {q0,q1,q2}
• E-Closure (q1) = {q1,q2}
• E-Closure (q2) = {q2} • E-Closure (q3) = {q3}
• E-Closure (q4) = {q4,q1,q2} 

Contoh, Diagram Transisi 2


1. Buat table Transisi NFA E-Move dari diagram NFA semula


Contoh, Diagram Transisi 2

2. Cari E-Closure untuk setiap NFA
E-Closure (q0) = {q0, q1}
E-Closure (q1) = {q1} E-Closure (q2) = {q2}
E-Closure (q3) = {q3}

3. Cari setiap fungsi transisi hasil perubahan dari NFA ke EMove ke NFA tanpa E-Move, dengan rumus : δ‘(state, input) = E-Closure (δ ( E-Closure(state,input))

δ’(q0,a) = E-CL (δ (E-CL (q0),a)
                 E-CL (δ (q0,q1), a)
                 E-CL (q2)
                {q2}

δ‘(q0,b) = E-CL (δ (E-CL (q0),b)
                 E-CL (δ (q0,q1),b)
                 E-CL (q3)
                {q3} 

δ‘(q3,a) = E-CL (δ (E-CL (q3),a)
                 E-CL (δ (q3),a)
                 E-CL (Φ)
                 Φ 

δ‘(q3,b) = E-CL (δ (E-CL (q3),b)
                 E-CL (δ (q3),b)
                 E-CL (Φ)
                 Φ

4. Buat Tabel Transisi baru NFA tanpa E-Move


 5. Gambar Diagram Transisi baru NFA tanpa E-Move



Komentar

Postingan populer dari blog ini

DERET FOURIER

PENGINTEGRALAN FUNGSI RASIONAL

FUNGSI DUA PEUBAH