Presentasi sedang didownload. Silahkan tunggu

Presentasi sedang didownload. Silahkan tunggu

4. NFA DENGAN  -MOVE. NFA dengan  -move (transisi  -move) adalah NFA yang mengalami perubahan state tanpa membaca input q0q0 q0q0 q0q0 q0q0 q2q2 

Presentasi serupa


Presentasi berjudul: "4. NFA DENGAN  -MOVE. NFA dengan  -move (transisi  -move) adalah NFA yang mengalami perubahan state tanpa membaca input q0q0 q0q0 q0q0 q0q0 q2q2 "— Transcript presentasi:

1 4. NFA DENGAN  -MOVE

2 NFA dengan  -move (transisi  -move) adalah NFA yang mengalami perubahan state tanpa membaca input q0q0 q0q0 q0q0 q0q0 q2q2    b b a

3  -closure NFA dengan  -move  -closure adalah himpunan state-state yang dapat dari suatu state tanpa membaca input.  -closure (q 0 ) = himpunan statet-state yang dapat dicapai dari q 0 q0q0 q3q3 q4q4 q1q1 q2q2    b b a  -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 }

4 Contoh lain  -closure (q 0 ) = {q 0, q 1, q 3 }  -closure (q 1 ) = {q 1, q 3 }  -closure (q 2 ) = {q 2, q 4 }  -closure (q 3 ) = {q 3 }  -closure (q 4 ) = {q 4 } q0q0 q2q2 q3q3 q1q1 q4q4  a  b 

5 Ekivalensi NFA dengan  -move ke NFA tanpa  -move Dari sebuah NFA dengan  -move dapat diubah menjadi NFA tanpa  -move. Langkah-langkah yang harus dilakukan: 1.Buat tabel transisi NFA dengan  -move 2.Tentukan  -closure untuk setiap state 3.Carilah fungsi transisi hasil perubahan dari NFA dengan  -move ke NFA tanpa  -move dengan rumus  ’(state, input) =  -closure(  (  -closure(state), input)) 4.Dari hasil no. 3, kita dapat membuat tabel transisi dan diagram transisi dari NFA tanpa  -move yang ekivalen dengan NFA dengan  -move

6 5. Tentukan state-state akhir untuk NFA tanpa  -move tersebut, yaitu state-state akhir semula ditambah dengan state-state yang  -closurenya menuju ke salah satu dari state akhir semula. atau secara formal: F’ = F  {q | (  -closure (q)  F)   } Misal semula F = {q 0, q 3 },  -closure {q 1 } ={q 0, q 2 }, maka F’ {q 0, q 1, q 3 }

7 q0q0 q2q2 q1q1 q3q3  a b Contoh  ab q0q0  q1q1 q2q2 q3q3 q2q2  q3q3  Tabel transisi  -closure (q 0 ) = {q 0, q 1 }  -closure (q 1 ) = {q 1 }  -closure (q 2 ) = {q 2 }  -closure (q 3 ) = {q 3 }

8  -closure (q 0 ) = {q 0, q 1 }  -closure (q 1 ) = {q 1 }  -closure (q 2 ) = {q 2 }  -closure (q 3 ) = {q 3 }  ’(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 }  ab q0q0  q1q1 q2q2 q3q3 q2q2  q3q3 

9  -closure (q 0 ) = {q 0, q 1 }  -closure (q 1 ) = {q 1 }  -closure (q 2 ) = {q 2 }  -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 }  ab q0q0  q1q1 q2q2 q3q3 q2q2  q3q3 

10  -closure (q 0 ) = {q 0, q 1 }  -closure (q 1 ) = {q 1 }  -closure (q 2 ) = {q 2 }  -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 (  ) =   ab q0q0  q1q1 q2q2 q3q3 q2q2  q3q3 

11  -closure (q 0 ) = {q 0, q 1 }  -closure (q 1 ) = {q 1 }  -closure (q 2 ) = {q 2 }  -closure (q 3 ) = {q 3 }  ’(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 (  ) =   ab q0q0  q1q1 q2q2 q3q3 q2q2  q3q3 

12 ’’ ab q0q0 q2q2 q3q3 q1q1 q2q2 q3q3 q2q2  q3q3  Tabel transisi NFA tanpa  -move  -closure (q 0 ) = {q 0, q 1 }  -closure (q 1 ) = {q 1 }  -closure (q 2 ) = {q 2 }  -closure (q 3 ) = {q 3 } State akhir pada NFA awal adalah q 3

13  -closure (q 0 ) = {q 0, q 1 }  -closure (q 1 ) = {q 1 }  -closure (q 2 ) = {q 2 }  -closure (q 3 ) = {q 3 } State akhir pada NFA awal adalah q 3. Perhatikan tabel closure berikut. Cari q 3 warna merah. Setelah itu lihat state sebelah kiri. Didapat q 3. Jadi (State akhir NFA awal  state akhir baru) = q 3  q 3 = q 3

14 q0q0 q2q2 q1q1 q3q3 b a a b ’’ ab q0q0 q2q2 q3q3 q1q1 q2q2 q3q3 q2q2  q3q3 

15 Latihan Buat NFA tanpa  -move yang ekivalen dengan NFA dengan  -move berikut q2q2 q1q1 q0q0   b b a


Download ppt "4. NFA DENGAN  -MOVE. NFA dengan  -move (transisi  -move) adalah NFA yang mengalami perubahan state tanpa membaca input q0q0 q0q0 q0q0 q0q0 q2q2 "

Presentasi serupa


Iklan oleh Google