Presentasi sedang didownload. Silahkan tunggu

Presentasi sedang didownload. Silahkan tunggu

 Non Deterministic Finite Automata dengan  -move  Penggabungan dan Konkatenasi FSA.

Presentasi serupa


Presentasi berjudul: " Non Deterministic Finite Automata dengan  -move  Penggabungan dan Konkatenasi FSA."— Transcript presentasi:

1  Non Deterministic Finite Automata dengan  -move  Penggabungan dan Konkatenasi FSA

2  Dapat merubah state satu ke state lain tanpa membaca input  Tidak bergantung pada suatu input ketika melakukan transisi q0q0 q1q1 q4q4 q3q3 q2q2   b b a dari q 0 tanpa membaca input dapat berpindah ke q 1 dari q 1 tanpa membaca input dapat berpindah ke q 2 dari q4 tanpa membaca input dapat berpindah ke q 1

3  himpunan-himpunan state-state yang dapat dicapai dari sebuah state tanpa membaca input. Dari diagram NFA dengan  -move maka dihasilkan: ◦ -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  q0q0 q1q1 q4q4 q3q3 q2q2   b b a * State yg tidak memiliki transisi , maka  -closurenya adalah state itu sendiri

4  Gambar diatas menunjukkan bahwa keduanya mampu menerima bahasa yang sama (ekivalen)  NFA dengan  -move awal menerima bahasa yang memuat string ’b’, dan NFA tanpa  -move pada gambar diatas juga mampu menerima bahasa yang memuat string ‘b’. q1q1 q2q2 q0q0 q3q3  b a q1q1 q2q2 q0q0 b a q3q3 b a NFA dengan  -move NFA tanpa  -move

5  Buat tabel transisi NFA dengan  -move awal  Tentukan  -closure untuk setiap state  Carilah setiap fungsi transisi hasil perubahan dari NFA dengan  - move ke NFA tanpa  -move (kita sebut saja sebagai  ’) dimana  ’ didapatkan dengan rumus:  ’(state, input) =  _closure (  (  _closure(state, input))  Berdasarkan hasil diatas, kita bisa membuat tabel transisi dan diagram transisi dari NFA tanpa  -move yang ekivalen dengan NFA dengan  -move tersebut.  Jangan lupa menentukan state-state akhir untuk Non- deterministic Finite Automata tanpa  -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) 

6  Contoh: Buatlah NFA tanpa  -move yang ekivalen dengan NFA  -move dibawah ! q0q0 q1q1 a b b q2q2  

7 1. Buat Tabel Transisi  aB q0q0 q0q0 q1q1 q2q2 q2q2 q2q2 2. Tentukan  -closure untuk setiap state:   _ closure (q 0 ) =  q 0,q 1    _ closure (q 1 ) =  q 1    _ closure (q2) =  q0,q1,q2 

8 3. Tentukan  ’:   ’(q0,a) =  _closure (  (  _closure(q0),a)) =  _closure (  (  q0,q1 ,a)) =  _closure (q0) =  q0,q1    ’(q0,b) =  _closure (  (  _closure(q0),b)) =  _closure (  (  q0,q1 ,b)) =  _closure (q2)=  q0,q1,q2    ’(q1,a) =  _closure (  (  _closure(q1),a)) =  _closure (  (  q1 ,a)) =  _closure (  ) =    ’(q1,b) =  _closure (  (  _closure(q1),b)) =  _closure (  (  q1 ,b)) =  _closure (q2) =  q0,q1,q2    ’(q2,a) =  _closure (  (  _closure(q2),a)) =  _closure (  (  q0,q1,q2 ,a)) =  _closure (q0) =  q0,q1    ’(q2,b) =  _closure (  (  _closure(q2),b)) =  _closure (  (  q0,q1,q2 ,b)) =  _closure (q2) =  q0,q1,q2 

9 4. Buat Tabel Transisi untuk NFA tanpa  -move  ab q0  q0,q1  q0,q1,q2  q1  q0,q1,q2  q2  q0,q1  q0,q1,q2  5. Tentukan State Akhir - Himpunan state akhir semula adalah  q0  - Cari  _closure yang memuat state q0   _closure (q2) =  q0,q1,q2  F = {q0,q2}

10 Hasil akhir diagram NFA tanpa e-move q0q0 b q1q1 ab b b q2q2 b b

11

12  Pada dua mesin Finite State Automata kita dapat melakukan penggabungan antar kedua mesin tersebut yaitu dengan union dan konkatensi.  Union ◦ L(M’) = L(M1) + L(M2)  Konkatenasi ◦ L(M’’) = L(M1) L(M2)

13  Contoh: q A1 q A0 0 1 Mesin M1 q B1 q B0 1 1 Mesin M2 Tentukan : L(M’) = L(M1) + L(M2) dan L(M’’) = L(M1) L(M2)

14 L(M’) = L(M1) + L(M2) q1q1 q A0 0 1 qSqS q B0 q B1 q A1    1 1 qfqf qSqS q B0 q A1 0 1  L(M’’) = L(M1) L(M2) 0

15 1. Buatlah sebuah DFA yang menerima bahasa dengan penjelasan sebagai berikut: a) Bahasa yang memuat semua string yang berakhiran dengan “00”. Diketahui ∑ = (0,1). b) Bahasa yang memuat semua string yang memiliki minimal dua nol berurutan “00”. Diketahui ∑ = (0,1). * Buat ER  NFA  DFA


Download ppt " Non Deterministic Finite Automata dengan  -move  Penggabungan dan Konkatenasi FSA."

Presentasi serupa


Iklan oleh Google