İçindekiler:
1. Sonlu Durumlu Makinalar
1.1. Tanım ve modeller (Mealy ve Moore Modelleri)
1.2. Algoritmik Durum Modeli ile ardısıl sistem tasarımı
1.3. Durum esdegerliligi, durum uyusması ve durum indirgemesi
2. Biçimsel Dillerin Matematiksel Temelleri
2.1. Kümeleri tümevarım ile tanımlama
2.2. Alfabe ve diller
2.3. Bagıntılar ve kapanıs bagıntıları
2.4. Diller ve gramerler
2.5. Dilbilgisi, Chomsky Sınıflandırması
2.6. Düzenli ifadeler
3. Otomatlar
3.1. Determinist Sonlu Otomat (DFA) ve düzenli ifadelerin tanınması
3.2. Determinist Olmayan Otomat (NFA) ve düzenli ifadelerin tanınması
3.3. DFA ile NFA esdegerligi
4. Yıgın Yapılı Otomat (PDA) ve baglamdan bagımsız dillerin tanımlanması
5. Turing Makinası ve hesaplama kuramlarına giris
Üye Olunuz veya
Giriş Yapınız
