Sunum yükleniyor. Lütfen bekleyiniz

Sunum yükleniyor. Lütfen bekleyiniz

SONLU DURUM OTOMATLARI Yılmaz Kılıçaslan. Sunum Planı 2  Kısa Tarihçe  Sonlu Durum Otomatlarına Formel Olmayan Giriş  Deterministik Sonlu Durum Otomatı.

Benzer bir sunumlar


... konulu sunumlar: "SONLU DURUM OTOMATLARI Yılmaz Kılıçaslan. Sunum Planı 2  Kısa Tarihçe  Sonlu Durum Otomatlarına Formel Olmayan Giriş  Deterministik Sonlu Durum Otomatı."— Sunum transkripti:

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

2 Sunum Planı 2  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 3 Sonlu Durum Otomatları Formel Gramerler

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

5 g M → w c1.Adım

6 g ← M w c2.Adım

7 g c M → w3.Adım

8 c ← g M w4.Adım

9 c wM → g5.Adım

10 w c ← M g6.Adım

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

12 g g MWGC-ØWC-GMMWC-G m m w w c c C-MWGW-CMG gg CMG-W gg WMG-C c cw w G-MWC m m GM-WC g g Ø-MWGC Start w m g c

13 Açma/Kapama Düğmesi 13

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

15 Deterministik Sonlu Durum Otomatı 15

16 Geçiş Diyagramı 16

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

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

19 Deterministik Olmayan Sonlu Durum Otomatları 19

20 ‘01’ ile biten bütün dizilimleri tanıyan deterministik olmayan sonlu durum otomatı 20 δ(q 0, 0) = {q 0, q 1 } δ(q 0, 1) = {q 0 } δ(q 1, 0) = {} δ(q 1, 1) = {q 1 } δ(q 2, 0) = {} δ(q 2, 1) = {}

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

22 Problemlerin Çözüm Düzeyi Açısından Determinizm 22 Deterministik olmayan sonlu durum otomatları, deterministik sonlu durum otomatlarına göre problemlere daha soyut düzeyde ve daha kolay modellenebilir çözümler sunabilirler. Not: Örnekler Prof. Dr. Ünal Yarımağan’ın Özdevinirler Kuramı ve Biçimsel Diller kitabından alınmıştır. q0q0 q1q1 q3q3 q2q2 q4q4 a c a c b c b b b a a b a b q5q5 c a q0q0 q1q1 q2q2 a b a c b a b q4q4 c a q3q3 b c ‘abc’ ve ‘bac’ altdizgilerinden en az birini, en az bir kez içeren arayan deterministik otomat ‘abc’ ve ‘bac’ altdizgilerinden en az birini, en az bir kez içeren arayan deterministik olmayan otomat c c

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

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

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ı 25

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


"SONLU DURUM OTOMATLARI Yılmaz Kılıçaslan. Sunum Planı 2  Kısa Tarihçe  Sonlu Durum Otomatlarına Formel Olmayan Giriş  Deterministik Sonlu Durum Otomatı." indir ppt

Benzer bir sunumlar


Google Reklamları