SONLU DURUM OTOMATLARI - PowerPoint PPT Presentation

sonlu durum otomatlari n.
Download
Skip this Video
Loading SlideShow in 5 Seconds..
SONLU DURUM OTOMATLARI PowerPoint Presentation
Download Presentation
SONLU DURUM OTOMATLARI

play fullscreen
1 / 26
SONLU DURUM OTOMATLARI
229 Views
Download Presentation
thu
Download Presentation

SONLU DURUM OTOMATLARI

- - - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript

  1. SONLU DURUM OTOMATLARI Yılmaz Kılıçaslan

  2. Sunum Planı • Kısa Tarihçe • Sonlu Durum Otomatlarına Formel Olmayan Giriş • Deterministik Sonlu Durum Otomatı • Deterministik Olmayan Sonlu Durum Otomatı • Boş Geçişli Sonlu Durum Otomatı • Çift Yönlü Sonlu Durum Otomatı • Eş Güçte Sonlu Durum Otomatları

  3. Kısa Tarihçe • 1930’lar – Turing Makinesi – Karar Problemi • 1940’lar • 1950’ler • 1960’lar – ‘Tractability’ Problemi Sonlu Durum Otomatları Formel Gramerler

  4. NEHRİN KARŞI YAKASINA GEÇME PROBLEMİ w g c M g M →

  5. w c 1.Adım g M →

  6. g w c 2.Adım ← M

  7. g w 3.Adım c M →

  8. c w 4.Adım ← g M

  9. c g 5.Adım wM →

  10. w c g 6.Adım 6.Adım ← M

  11. g c M w 7.Adım 7.Adım g M →

  12. c m m g Start MWGC-Ø WC-GM MWC-G m g c w c w C-MWG W-CMG g g g g CMG-W WMG-C c w g c w m Ø-MWGC GM-WC G-MWC m w g g

  13. Açma/Kapama Düğmesi

  14. ‘then’ Sözcüğünün Tanınması

  15. Dil – Problem İlişkisi

  16. Deterministik Sonlu Durum Otomatı

  17. Geçiş Diyagramı

  18. ‘01’ dizilimlerini içeren katarları tanıyan deterministik sonlu durum otomatı

  19. Çift sayıda 0 ve çift sayıda 1 içeren sembol katarlarını tanıyan otomat

  20. Deterministik Olmayan Sonlu Durum Otomatları

  21. ‘01’ ile biten bütün dizilimleri tanıyan deterministik olmayan sonlu durum otomatı

  22. ‘web’ ve ‘ebay’ sözcüklerini arayan otomat

  23. Boş Geçişli Sonlu Durum Otomatları

  24. Sözcük tanımada boş geçiş kullanımı

  25. Eş Güçte Sonlu Durum Otomatları • Aşağıdaki otomat türleri tanıyabilecekleri / üretebilecekleri diller açısından eş güçtedirler: • Deterministik Sonlu Durum Otomatları • Deterministik Olmayan Sonlu Durum Otomatları • Boş Geçişli Sonlu Durum Otomatları • Çift Yönlü Sonlu Durum Otomatları

  26. Kaynaklar • Hopcroft, J.E, Motwani, R. and J.D. Ullman (2001), Introduction to Automata Theory, Languages and Computation, Addison-Wesley.