Ekivalensi -move pada Non Deterministik FSO ke Deterministik FSO

Presentasi berjudul: "Ekivalensi -move pada Non Deterministik FSO ke Deterministik FSO"— Transcript presentasi:

1 Ekivalensi -move pada Non Deterministik FSO ke Deterministik FSO

2 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.

3 State-state akhir adalah semua state yang mengandung state final ketika belum diubah ke Deterministik Finite Automata.

4 Non Deterministik Finite automata dengan
= empty -closure adalah himpunan state-state yang dapat dicapai dari suatu state tanpa membaca input.

5 Ekivalensi Non Deterministik Finite Automata dengan -move ke Non Deterministik Finite Automata tanpa -move

6 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:

7 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.

8 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

9 State awal menjadi state awal
State-state akhir menjadi state akhir Hubungkan state-state akhir dengan state awal menggunakan transisi

10