Ekivalensi -move pada Non Deterministik FSO ke Deterministik FSO
Tahapan pengubahan Non Deterministik Finite Automata ke Deterministik Automata Buat tabel transisi NFA tersebut. Dimulai dari state awal, kemudian mengikuti transisinya untuk membentuk state-state baru, untuk setiap state yang terbentuk diikuti lagi transisinya sampai ter’cover’ semua.
State-state akhir adalah semua state yang mengandung state final ketika belum diubah ke Deterministik Finite Automata.
Non Deterministik Finite automata dengan = empty -closure adalah himpunan state-state yang dapat dicapai dari suatu state tanpa membaca input.
Ekivalensi Non Deterministik Finite Automata dengan -move ke Non Deterministik Finite Automata tanpa -move
Buat tabel transisi non deterministik finite automata semula. Tentukan untuk setiap state. Carilah setiap fungsi transisi hasil perubahan dari non deterministik finite automata ke non deterministik finite automata tanpa (disebut ) dimana didapatkan dengan rumus:
Berdasarkan hasil tadi, maka bisa dibuat tabel transisi dan diagram transisi dari non detereministik finite automata tanpa yang ekivalen dengan non deterministik finite automata tersebut. Tentukan state-state akhir untuk non deterministik finite automata tanpa tersebut.
Penggabungan dan Konkatenansi Finite State Automata Tambahkan state awal untuk , hubungkan dengan state awal dan state awal menggunakan transisi . Tambahkan state akhir untuk , hubungkan dengan state-state akhir dan state-state akhir menggunakan transisi .
State awal menjadi state awal State-state akhir menjadi state akhir Hubungkan state-state akhir dengan state awal menggunakan transisi