Presentasi sedang didownload. Silahkan tunggu

Presentasi sedang didownload. Silahkan tunggu

Otomata & Teori Bahasa Finite State Automata: - Non Deterministic Finite Automata dengan -move - Penggabungan dan Konkatenasi FSA.

Presentasi serupa


Presentasi berjudul: "Otomata & Teori Bahasa Finite State Automata: - Non Deterministic Finite Automata dengan -move - Penggabungan dan Konkatenasi FSA."— Transcript presentasi:

1 Otomata & Teori Bahasa Finite State Automata: - Non Deterministic Finite Automata dengan -move - Penggabungan dan Konkatenasi FSA

2 Non DFA dengan  - move (transisi )
Dapat merubah state satu ke state lain tanpa membaca input Tidak bergantung pada suatu input ketika melakukan transisi q0 q1 q4 q3 q2 b a dari q0 tanpa membaca input dapat berpindah ke q1 dari q1 tanpa membaca input dapat berpindah ke q2 dari q4 tanpa membaca input dapat berpindah ke q1

3 -closure untuk NFA -move
himpunan-himpunan state-state yang dapat dicapai dari sebuah state tanpa membaca input. Dari diagram NFA dengan -move maka dihasilkan: -closure (q0)= q0,q1,q2 -closure (q1) = q1,q2 -closure (q2) = q2 -closure (q3) = q3 -closure (q4) = q1,q2,q4 q0 q1 q4 q3 q2 b a * State yg tidak memiliki transisi , maka -closurenya adalah state itu sendiri

4 Ekivalensi NFA -move ke NFA tanpa -move
q1 q2 q0 q3 b a q1 q2 q0 q3 b a NFA tanpa -move NFA dengan -move 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’.

5 NFA -move ke NFA tanpa -move
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 Ekivalensi NFA -move ke NFA tanpa -move
Contoh: Buatlah NFA tanpa -move yang ekivalen dengan NFA -move dibawah ! q0 q1 a b q2

7 NFA -move ke NFA tanpa -move
1. Buat Tabel Transisi a b q0 q0 q1 q2 q2 2. Tentukan -closure untuk setiap state: _ closure (q0) = q0,q1 _ closure (q1) = q1 _ closure (q2) = q0,q1,q2

8 NFA -move ke NFA tanpa -move
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 NFA -move ke NFA tanpa -move
4. Buat Tabel Transisi untuk NFA tanpa  -move a b q0 q0,q1 q0,q1,q2 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 NFA -move ke NFA tanpa -move
Hasil akhir diagram NFA tanpa e-move q0 b q1 ab q2

11 Penggabungan dan Konkatenasi FSA
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)

12 Penggabungan dan Konkatenasi FSA
Contoh: qA1 qA0 1 Mesin M1 qB1 qB0 1 Mesin M2 Tentukan : L(M’) = L(M1) + L(M2) dan L(M’’) = L(M1) L(M2)

13 Penggabungan dan Konkatenasi FSA
q1 qA0 1 qS qB0 qB1 qA1 L(M’) = L(M1) + L(M2) qf qS qB0 qA1 1 L(M’’) = L(M1) L(M2)

14 Terima Kasih


Download ppt "Otomata & Teori Bahasa Finite State Automata: - Non Deterministic Finite Automata dengan -move - Penggabungan dan Konkatenasi FSA."

Presentasi serupa


Iklan oleh Google