PERTEMUAN 4 NFA MOVE NFA MOVE adalah mesin

PERTEMUAN 4 NFA - MOVE

NFA – MOVE adalah mesin NFA yang diperbolehkan mengubah state tanpa membaca input. Disebut dengan transisi karena tidak bergantung pada suatu input ketika melakukan transisi. Contoh NFA - MOVE - q 0 tanpa membaca input dapat berpindah ke q 1 - q 1 tanpa membaca input dapat berpindah ke q 2 - q 4 tanpa membaca input dapat berpindah ke q 1 - closure adalah himpunan state – state yang dapat dicapai dari suatu state tanpa membaca input

- closure ( q 0 ) = { q 0, q 1, q 2 } - closure ( q 1 ) = { q 1, q 2 } - closure ( q 2 ) = { q 2 } - closure ( q 3 ) = { q 3 } - closure { q 4 ) = { q 1, q 2, q 4 } Pada suatu state yang tidak memiliki transisi maka - closureny adalah state itu sendiri.

EKIVALENSI NFA - MOVE KE NFA tanpa - MOVE Tahapan – tahapan / langkah ekivalensi NFA dengan - move ke NFA tanpa - Move : 1. Buat tabel Transisi NFA - Move 2. Tentukan - Closure untuk setiap state 3. Carilah setiap fungsi hasil perubahan dari NFA - Move ke NFA tanpa - Move dengan rumus : ’ ( state, input ) = - closure ( ( - closure (state), input )) 4. Berdasarkan hasil no. 3 buat tabel transisi & diagram transisi NFA tanpa - Move yang ekivalensi dengan NFA - Move

5. Tentukan state akhir untuk NFA tanpa - Move tersebut, yaitu state – state akhir semua & tambah dengan state – state yang - closurenya menuju ke salah satu dari state akhir semula. Contoh mesin NFA - Move Buat Ekivalensi NFA - Move ke NFA tanpa - Move

1. 2. Tabel Transisi NFA - Move a q 0 q 1 q 2 q 3 q 2 q 3 b - closure ( q 0 ) = { q 0, q 1 } - closure ( q 1 ) = { q 1 } - closure ( q 2 ) = { q 2 } - closure ( q 3 ) = { q 3 }

3. ’ ( state, input ) = - closure ( ( - closure (state), input )) ’ ( q 0, a ) = - closure ( ( - closure (q 0), a )) = - closure ( ( { q 0, q 1 }, a )) = - closure ( q 2 ) = { q 2 } ’ ( q 0, b ) = - closure ( ( - closure (q 0), b )) = - closure ( ( { q 0, q 1 }, b )) = - closure ( q 3 ) = { q 3 } ’ ( q 1, a ) = - closure ( ( - closure (q 1), a )) = - closure ( ( { q 1 }, a )) = - closure ( q 2 ) = { q 2 } ’ ( q 1, b ) = - closure ( ( - closure (q 1), b )) = - closure ( ( { q 1 }, b )) = - closure ( q 3 ) = { q 3 }

’ ( q 2, a ) = - closure ( ( - closure (q 2), a )) = - closure ( ( { q 2 }, a )) = - closure ( ) = ’ ( q 2, b ) = - closure ( ( - closure (q 2), b )) = - closure ( ( { q 2 }, b )) = - closure ( ) = ’ ( q 3, a ) = - closure ( ( - closure (q 3), a )) = - closure ( ( { q 3, a } ) = - closure ( ) = ’ ( q 3, b ) = - closure ( ( - closure (q 3), b )) = - closure ( ( { q 3 }, b )) = - closure ( ) =

4. NFA tanpa - Move Tabel Transisi ’ a b 5. a q 0 q 2 q 3 q 2 q 1 q 2 q 3 q 2 q 3 b a q 1 b q 3

Tugas 1. Buatlah NFA tanpa -move yang ekuivalen dengan NFA -move pada gambar di bawah ini , ( = {0, 1, 2}) 2 0 q 0 1 q 2

2. Buatlah NFA tanpa -move yang ekuivalen dengan NFA -move pada gambar di bawah ini , (∑ = {0, 1, }) 0 q 0 q 1 1

Soal 1. NFA – MOVE adalah mesin NFA yang diperbolehkan mengubah state tanpa …. a. membaca input d. menerjemahkan input b. mengecek output e. memanipulasi output c. menghasilkan input 2. Dari gambar di atas, maka pernyataan yang benar adalah…. a. q 0 tanpa membaca input dapat berpindah ke q 1 b. q 1 tanpa membaca input dapat berpindah ke q 0 c. q 4 tanpa membaca input dapat berpindah ke q 3 d. q 2 tanpa membaca input dapat berpindah ke q 4 e. q 1 tanpa membaca input dapat berpindah ke q 3

1. Himpunan state – state yang dapat dicapai dari suatu state tanpa membaca input disebut a. Deterministic Finite Automata d. DFA – MOVE b. - closure e. Transisi c. NFA – MOVE 2. Dari gambar di atas, maka pernyataan yang salah adalah a. - closure ( q 0 ) = { q 0, q 1 } b. - closure ( q 2 ) = { q 3 } c. - closure ( q 1 ) = { q 1 } d. - closure ( q 2 ) = { q 2 } e. - closure ( q 3 ) = { q 3 }

3. Dari gambar di atas, maka pernyataan yang salah adalah a. - closure ( q 0 ) = { q 0, q 1, q 2 } b. - closure ( q 1 ) = { q 1, q 2 } c. - closure ( q 2 ) = { q 4 } d. - closure ( q 3 ) = { q 3 } e. - closure { q 4 ) = { q 1, q 2, q 4 }

4. Pada suatu state yang tidak memiliki transisi maka - closureny adalah a. output d. state itu sendiri b. kebalikan dari state tersebut e. diagram transisi c. himpunan kosong 5. Berikut ini yang bukan merupakan tahapan – tahapan / langkah ekivalensi NFA dengan - move ke NFA tanpa - Move adalah… a. Membuat tabel Transisi NFA - Move b. Tentukan - Closure untuk setiap state c. Carilah setiap fungsi hasil perubahan dari NFA - Move ke NFA tanpa - Move dengan rumus : ’ ( state, input ) = - closure ( ( - closure (state), input )) d. Buat tabel transisi & diagram transisi NFA tanpa - Move yang ekivalensi dengan NFA - Move e. Membuat tabel transisi DFA ke NFA