1 / 22

Pertemuan 3 FINITE AUTOMATA

Pertemuan 3 FINITE AUTOMATA. Matakuliah : T0162/Teori Bahasa dan Automata Tahun : 2009. Learning Outcomes. Pada akhir pertemuan ini, diharapkan mahasiswa akan mampu : << TIK-99 >> << TIK-99>>. Outline Materi. Materi 1 Materi 2 Materi 3 Materi 4 Materi 5. FINITE AUTOMATA.

terra
Download Presentation

Pertemuan 3 FINITE AUTOMATA

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Pertemuan 3FINITE AUTOMATA Matakuliah : T0162/Teori Bahasa dan Automata Tahun : 2009

  2. Learning Outcomes Pada akhir pertemuan ini, diharapkan mahasiswa akan mampu : • << TIK-99 >> • << TIK-99>>

  3. Outline Materi • Materi 1 • Materi 2 • Materi 3 • Materi 4 • Materi 5

  4. FINITE AUTOMATA Sistem Finite State : • Deterministic Finite Automaton • Non-Deterministic Finite Automaton • Push Down Automata • Turing Machine • Linear Bounded Automata

  5. FINITE AUTOMATA Contoh Finite State System : • System Elevator • Switching circuit • Program text editor Contoh : Manusia (m), serigala (w), kambing (g), sayur (c) menyeberang sungai : Keadaan awal : MWGC ---  Keadaan akhir :  --- MWGC

  6. FINITE AUTOMATA

  7. FINITE AUTOMATA Protocol untuk e-commerce menggunakan e-money . Allowed events : • The customer can pay the store (=send the money-file to the store) • The customer can cancel the money (like putting a stop on a check) • The store can ship the goods to the customer • The store can redeem the money (=cash the check) • The bank can transfer the money to the store.

  8. Finite Automata Protocol untuk tiap-tiap partisipan :

  9. FINITE AUTOMATA FINITE AUTOMATON (FA) : • (Deterministic Finite Automaton - DFA) • Model matematis • Input Output Discrete • Konfigurasi internal disebut “State” • Transisi antar state atas simbol input • Hanya satu transisi dari satu state dengan satu simbol input tertentu (deterministic) • Directed Graph menggambarkan FA disebut “Transition Diagram”.

  10. FINITE AUTOMATA Definisi Formal : DFA adalah quintuple M = (Q, , , q0, F) dimana : Q : himpunan state  : Alphabet input q0 Q : start / initial state F  Q : himpunan final state  : Q  : Fungsi transisi

  11. FINITE AUTOMATA String input  (p, a)= q : dalam state ‘p’, membaca input ‘a’ berpindah ke state ‘q’

  12. FINITE AUTOMATA Contoh : FA menerima string dimana jumlah ‘0’, dan jumlah ‘1’-nya genap

  13. FINITE AUTOMATA Tuple-tuple dari DFA tersebut: Himp. State (Q) : q0, q1, q2, q3 Start state : q0 Final state (F) : q0 {Double circle} Alphabet input () : {0, 1}

  14. FINITE AUTOMATA Fungsi Transisi untuk String : : Q *  Q 1. (q,) = q {tanpa membaca simbol input tidak bisa berganti state}

  15. FINITE AUTOMATA 2. Untuk semua string w dan input a, (q, wa) = ( (q,w),a) = (p,a) jika p = (q,w) Untuk input w = a,  dan selalu sejalan : (q,a) = ( (q,),a) = (q,a)

  16. FINITE AUTOMATA (q,w) : adalah state dimana FA akan berada setelah membaca string w, dengan start state q; (q,w) = p, ada path berlabel w dari state q ke p.

  17. FINITE AUTOMATA Konvensi simbol yang digunakan : 1. Q : himpunan state q, p : state, q0 : start state 2.  : alphabet input a,b,digit : simbol input 3.  : fungsi transisi 4. F : himpunan final / accepting state 5. w,x,y,z : string input

  18. FINITE AUTOMATA STRING YANG DITERIMA : String x diterima bila (q0,x) = p, p dalam F. LANGUAGE YANG DITERIMA : Language yang diterima oleh FA M adalah {x (q0,x) dalam F} REGULAR LANGUAGE / SET : Language yang diterima oleh suatu FA.

  19. FINITE AUTOMATA Contoh : Q = {q0,q1,q2,q3}  = {0,1} F = {q3}  : digambarkan tabel berikut

  20. FINITE AUTOMATA Tabel transisi ()

  21. FINITE AUTOMATA String Yang Diterima : 110, 01101, 00110111, … • RE: 0*1101* • Deskripsi Language: String yang terbentuk dari 110, boleh diawali dengan deretan 0 dan boleh diakhiri dengan deretan 1

  22. << CLOSING>>

More Related