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 Dil – Problem İlişkisi 15

16 Deterministik Sonlu Durum Otomatı 16

17 Geçiş Diyagramı 17

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

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

20 Deterministik Olmayan Sonlu Durum Otomatları 20

21 ‘01’ ile biten bütün dizilimleri tanıyan deterministik olmayan sonlu durum otomatı 21 δ(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) = {}

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

23 Problemlerin Çözüm Düzeyi Açısından Determinizm 23 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

24 Mantıksal Bir Bakış 24 P ∨ Q P Q P ∧ Q

25 Mantıksal Bir Bakışs 25 P ∨ Q ∨ R P ∨ Q P ∨ RQ ∨ R P Q R P ∧ Q ∧ R

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

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

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

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


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