1 / 24

Persiapan UTS TBA

Persiapan UTS TBA. Review Materi Widodo.com . Apa yang dimaksud dengan Regular languages Regular languages ialah bahasa yang dapat dikonstruksikan dari 3 set operasi : (a) Union (b) Concatenation and (c) Kleene star. 2. Apa perbedaan antara DFA, NFA dan ε -NFA

sana
Download Presentation

Persiapan UTS TBA

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. Persiapan UTS TBA Review Materi Widodo.com

  2. Apa yang dimaksud dengan Regular languages Regular languages ialah bahasa yang dapat dikonstruksikan dari 3 set operasi : (a) Union (b) Concatenation and (c) Kleene star.

  3. 2. Apa perbedaan antara DFA, NFA dan ε-NFA DFA merupakan Deterministic Finite Automata yang memiliki sifat : • Single start state • Exactly Single transition for each input symbol • May have multiple accepting state NFA merupakan Nondetermenistic Finite Automata yang memiliki sifat : • May have single start sate • May have multiple transition • May have multiple accepting state • NFA menerima string jikahasilakhirpenelusuran string berakhirdisalahsatu final state. • String diterima : Bilaadasuatu path berlabel w dari start state kesalahsatu final state, maka w diterima.

  4. q0 q1 q2 Start   1 2 0 ε-NFA • Memungkinkantransisiatas input kosong (empty) . • Contoh :

  5. Himpunan state p dimanaada path dari q ke p berlabel • Contoh : -Closure (q0) = {q0, q1, q2} -Closure (q) : Bila P himpunan state : -closure (P) = -closure (q)

  6. Transisidengan String  : 1.  (q,) = -closure (q) 2.  (q,wa) = -closure (P), DimanaP = {puntuk semua r dalam  (q,w), p dalam (r,a)} 3. (R,a) = (q,a) 4.  (R,w) =  (q,w) Dimana R : himpunan state Language Accepted : • L yang diterima NFA dengan -move : L(M) = {w(q0,w) dalam F}

  7. 1 0 q0 q3 Start 0 1 0 q1 q4 0 1 1 q2 0 1 3. Diketahui NFA Dengan input 01001, Telusurilah NFA tsb

  8. Minimisasi DFA UjiCobaekuivalensistate • State p dan q dikatakanekuivalenjika Untuksemua string input w, δ(p, w) berakhirdi final state jikadanhanyajikaδ(q, w) jugaberakhirdi final state • Jika 2 buah state tidakekuivalen, makamerekadisebut “distinguishable”, yaitujikasedikitnyaterdapatsebuah string w, sehinggaδ(p, w) danδ(q, w) salahsatunyaberakhirdi final state dan yang lain tidak

  9. 1 0 Start 0 1 0 A B C D 0 1 1 1 0 1 1 0 E F G H 1 0 0 Minimisasi DFA 4. Minimisasikan DFA dibawah. Terlihat bahwa C dan G tidak ekuivalen karena yang 1 accepting states, yang lain tidak (δ(C,ε) accepting dan δ(G,ε) tidak).

  10. A dan G juga tidak equivalen, karena keduanya non accepting states. String 0 tidak distinguish mereka karena ke state B dan G dengan input 0. String 1 tidak distinguish A dari G, karena ke F dan E yang bukan accepting states. 01 distinguish A dari G karena δ(A,01)=01, δ(G,01)=E, C accepting, E tidak. • State A dan E tidak ada yang accepting. Dengan input 0 ke states B dan H tidak distinguish A dari E. Dengan input 1 ke C dan dengan input 0 ke G. Seluruh input gagal distinguish A dari E. Jadi A dan E equivalent states

  11. C adalah final state, setiap non final state yang berpasangandengan C merupakanpasangandistinguishable • Jika {C, H} merupakanpasangandistinguishablemaka {E,F} merupakanpasangandistinguishable karenaberakhirdi {C, H} ketikadiberi input 0 • Lakukanuntuksemuapasangan, jikaberakhirdipasangandistinguishable dengan input terpendek, makapasangan state tersebutdistinguishable

  12. Minimisasi DFA : • Eliminasisetiap state yang tidakmemilikipath dari state awal • Buatpartisi state menjadiblok-blok state, sehingga state yang ekuivalenberadadalamsatublok • Dari filling table didapatPasangan yang tidakbertandaadalah {A, E}, {B, H} dan {D, F} • Sehinggablokpartisi state yang didapatadalah ({A, E}, {B, H}, {C}, {D, F}, {G})

  13. 1 0 G 1 D, F 1 Start A, E 0 0 0 B, H C 1 1 0

  14. 5.

  15. (a|b) • (a|b)*. The NFA accepts ε

  16. Concantenate with abb

  17. 6. Accepting string

  18. 0 1 Start A 1 B 0 0 Start 0 C D 1 0 1 E 1 7. Minimisasikan DFA berikut

  19. B C D E A B C D 0 1 Start 1 A, C, D B, E 0 EKUIVALENSI & MINIMISASI DFA Filling table yang didapat : • Pasangan state yang didapat {A, C}, {A, D}, {C, D} dan {B, E} • Sehinggapartisi state yang didapat ({A, C, D}, {B, E}) X X X X X X

  20. DFA dengan output • FA dengan output akanmenghasilkan string output sesuaidengan string input • FA dengan output tidakmempunyai Final state • FA dengan output dapatdijadikansebagaimesinpenghitungfungsimatematis. • Duajenis FA dengan output : • Output pada state (Moore Machine) • Output padatransisi (Mealy Machine)

  21. Contoh : 8. MesinMealy yang membedakandua input yang berdekatan. Output : ”y” : bilasama “n” : bilaberbeda M = ({q0, p0, p1}, {0, 1}, {y, n}, , , q0) Label a/b artinya : (p, a) = q dan(p, a) = b(a: input, b: output)

  22. 8. Input : 0 1 1 0 0 Output : n n y n y

More Related