Sunuyu indir
Sunum yükleniyor. Lütfen bekleyiniz
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
w g c M 7.Adım 7.Adım g M →
12
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.
Benzer bir sunumlar
© 2024 SlidePlayer.biz.tr Inc.
All rights reserved.