Mühendislik ve Doğa Bilimleri Fakültesi · Yazılım Mühendisliği (%30 İngilizce) · Lisans
AKTS: 5 T+U+L: 2+0+1 Bölüm Seçmeli
Koordinatör: Dr. Öğr. Üyesi Şengül BAYRAK
Öğretim Üyeleri: Dr. Öğr. Üyesi Şengül BAYRAK
Dersin Amacı
Dillerin sınıflandırılması ve tanımlanmasında en temel düzeyde bilgi sahibi olup, otomatların türleri ve işleyişini öğrenerek, programlama yeteneğinin geliştirilmesi hedeflenmektedir.
Ders İçeriği
Sonlu Durum Otomatlarına Giriş, Diller ve Sonlu durum otomatları arasındaki ilişkiler, Düzgün diller ve Düzgün ifadeler, İspat Yöntemleri, Pumping Lemma, Düzgün gramerler, Gramerlerde belirsizlik, Normal Formlar (Chomsky Normal form, Greibach Normal form), Yığın yapılı otomatlar, Bağlamdan bağımsız gramerler için yığın yapılı otomatlar, Bağlamdan bağımsız dillerin özellikleri, Turing makineleri.
Dersin Öğrenme Çıktıları
- Karmaşık bir sistemi temsil etmek için birden fazla otomat veya gramer kullanır.
- Soyut makine modellerini ve biçimsel dilleri tanımlar.
- Biçimsel dillerin tanımlarını, dil sınıflarını (düzenli, bağlamdan bağımsız, vb.) ve Chomsky hiyerarşisini açıklar.
- Sonlu durum makineleri (DFA/NFA), yığıtlı otomatlar ve Turing makinelerini tasarlar.
- Düzgün dil ve düzgün gramer yapısını kullanarak dili verilen bir otomatayı tasarlar.
- Düzgün olmayan bir dili Aşağı-İtme Otomata ile tanımlar.
Temel Alan Dağılımı
(48) Bilgisayar%50 (52) Mühendislik%50
Öğretim Yöntem ve Teknikleri
AnlatımSoru-CevapAlıştırma ve UygulamaProblem Çözme
Ölçme ve Değerlendirme
Sınav (Yazılı Sınav / Test: Doğru-Yanlış Testi, Çoktan Seçmeli Testi, Kısa Cevaplı Test, Eşleştirmeli Test)
AKTS / İş Yükü
| Etkinlik | Sayı | Süre (saat) | Toplam İş Yükü |
|---|---|---|---|
| Ders Süresi (Sınav Haftası Dahil) | 15 | 3 | 45 |
| Sınıf Dışı Ders Çalışma Süresi | 15 | 5 | 75 |
| Ara Sınav | 1 | 2 | 2 |
| Kısa Sınav | 0 | 0 | 0 |
| Ödev | 0 | 0 | 0 |
| Uygulama | 0 | 0 | 0 |
| Final | 1 | 2 | 2 |
Ders Akışı
| Hafta | Konu | Ön Hazırlık |
|---|---|---|
| 1 | Biçimsel Dil Kavramı, Otomata Teorisi Kavramı Hesaplama Teorisine Giriş (Kümeler, Fonksiyonlar, Bağıntılar, Graflar, Ağaçlar ve İspat Yöntemleri) | Slayt |
| 2 | Diller | Slaytlar |
| 3 | Sonlu Otomatlar | Slaytlar |
| 4 | Sonlu Otomatlar (devam) | Slaytlar |
| 5 | Düzgün Kümeler ve Düzgün Deyimler | Slaytlar |
| 6 | Dilbilgisi, Diller ve Düzgün Dillerin Özellikleri | Slaytlar |
| 7 | Ara Sınav | Ara Sınav |
| 8 | Bağlamdan Bağımsız Diller ve Gramerler | Slayt |
| 9 | Bağlamdan Bağımsız Gramerlerin Basitleştirilmesi | Slaytlar |
| 10 | Chomsky ve Greibach Normal Biçimler | Slaytlar |
| 11 | Yığıtlı Özdevinirler | Slaytlar |
| 12 | Yığıtlı Özdevinirler (devam) | Slaytlar |
| 13 | Turing Makineleri | Slaytlar |
| 14 | Turing Makinelerinin diğer modelleri | Slaytlar |
| 15 | Final Sınavı | Final Sınavı |
| 16 | Final Sınavı | Final Sınavı |