Merubah NFA Dengan E - Move Ke NFA Tanpa E - Move
Dari sebuah Non-deterministic Finite Automata dengan E -move dapat kita peroleh Non- deterministic Finite Automata tanpa E -move yang ekivalen. Berikut ini diberikan beberapa contoh NFA dengan E - Move dan tanpa E - Move.
Gambar 1. NFA dengan E - Move
Pada gambar diatas terlihat bahwa q0 membawa sebuah input empty ke q1. Sedangkan berikut dibawah ini gambar NFA tanpa E - Move
Gambar 2. NFA tanpa E - Move
Berikut tahapan untuk mendapatkan perubahan dari Non-deterministic Finite Automata E - move ke Non - deterministic Finite Automata tanpa E -move. Caranya secara umum adalah sebagai berikut:
- Buat table transisi Non-deterministic Finite Automata dengan E - move semula
- Tentukan E - closure untuk setiap state
- Carilah setiap fungsi transisi hasil perubahan dari Non-deterministic Finite Automata E - move ke Non-deterministic Finite Automata tanpa E - move (kita sebut saja sebagai ε’) dimana ε’ didapatkan dengan rumus:ε’(state, input) = ε_closure (δ(ε_closure(state, input)).
- Berdasarkan hasil no (3), kita bisa membuat table transisi dan diagram transisi dari Non-deterministic Finite Automata tanpa ε-move yang ekivalen dengan Non-deterministic Finite Automata ε-move tersebut.
- Jangan lupa menentukan state-state akhir untuk Non-deterministic Finite Automatatanpa ε-move tersebut, yaitu state-state akhir semula ditambah dengan state-state yang ε_closure –nya menuju ke salah satu dari state akhir semula. Dalam bahasa formalnya:
F' = F ∪ {q | (ε-closure(q) ∩ F) ≠ ∅}
Contoh Soal:
Comments
Post a Comment