|
|
| COM2004 | Automata Theory | 3+0+0 | AKTS:4 | | Yıl / Yarıyıl | Bahar Dönemi | | Ders Duzeyi | Lisans | | Yazılım Şekli | Zorunlu | | Bölümü | BİLGİSAYAR MÜHENDİSLİĞİ BÖLÜMÜ | | Ön Koşul | Yok | | Eğitim Sistemi | Yüz yüze | | Dersin Süresi | 14 hafta - haftada 3 saat teorik | | Öğretim Üyesi | Dr. Öğr. Üyesi Selçuk CEVHER | | Diğer Öğretim Üyesi | Yok | | Öğretim Dili | İngilizce | | Staj | Yok | | | | Dersin Amacı: | | Öğrenciye bilgisayar biliminin matematiksel gelişimi anlatmak ve dillerin sonlu gösterimleri ile derleyici tasarımının temelleri hakkında genel bilgiler vermektir. |
| Öğrenim Kazanımları | PÖKK | ÖY | | Bu dersi başarı ile tamamlayan öğrenciler : | | | | PÖKK :Program öğrenim kazanımlarına katkı, ÖY : Ölçme ve değerlendirme yöntemi (1: Yazılı Sınav, 2: Sözlü Sınav, 3: Ev Ödevi, 4: Laboratuvar Çalışması/Sınavı, 5: Seminer / Sunum, 6: Dönem Ödevi / Proje),ÖK : Öğrenim Kazanımı | | |
| OTOMATA TEORİSİ : Diller, Özyinelemeli Tanımlamalar, Düzenli İfadeler, Sonlu Otomata, Geçiş Grafikleri, Kleene Teoremi, Çıkışlı Sonlu Otomata, Düzenli Diller, Düzenli Olmayan Diller (Şişirme Lemması, Myhill-Nerode Teoremi), Karar Verebilirlilik. YIĞIN OTOMATA TEORİSİ : Durumdan Bağımsız Dilbilgileri (Ağaçlar, Belirsizlik), Dilbilgisel Format (Düzenli Dilbilgileri, Chomsky Normal Form, Soldan Türetimler), Yığın Otomata, CFG=PDA, Durumdan Bağımsız Olmayan Diller (CFL için Şişirme Lemması), Durumdan Bağımsız Diller (Kapalılık Özellikleri), CYK Algoritması. TURING TEORİSİ : Turing Makinalar (TM), Post Makinalar, Minsky Teoremi, TM Çeşitleri (Durumda Hareket Makinası, Durma Opsiyonlu Makina, k-Yollu TM, İki Taraflı Sonsuz Bant Modeli, Belirli Olmayan TM, Yalnızca Okunabilir TM) , TM Dilleri (TM Kod Çözülmesi, Evrensel Turing Makina, Durma Problemi), Chomsky Hiyerarşisi (Deyim Yapılı Diller, Duruma Bağlı Dilbilgileri), Bilgisayarlar (Hesaplanabilir Fonksiyonlar, Church Tezi). |
| |
| Ölçme Yöntemi | | Yöntem | Hafta | Tarih | Süre (Saat) | Katkı (%) | | | | | | | | |
| Öğrenci Çalışma Yükü | | İşlem adı | Haftalık süre (saat) | Hafta sayısı | Dönem toplamı | | | | | |
|