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:

  1. Buat table transisi Non-deterministic Finite Automata dengan E - move semula
  2. Tentukan E - closure untuk setiap state
  3. 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)).
  4. 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.
  5. 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

Popular posts from this blog

Ekuivalensi Antar Deterministic Finite Automata (DFA)

Hierarki Chomsky