GERİ DÖN
Ders Öğretim Planı
| Dersin Kodu | Dersin Adı | Dersin Türü | Yıl | Yarıyıl | AKTS |
|---|---|---|---|---|---|
| BİLM-301 | BİÇİMSEL DİLLER VE OTOMATA TEORİSİ | Ders | 3 | 5 | 5,00 |
Dersin Seviyesi
Lisans
Dersin Sunulduğu Dil
Türkçe
Dersin Amacı
Hesaplama problemlerinin teorik limitlerini kavramak, hesaplanabilirlik ve karar verilebilirlik problemlerini tanıtmak.
Dersi Veren Öğretim GörevlisiGörevlileri
Dr. Öğr. Üyesi Murat MORAN
Öğrenme Çıktıları
| 1 | Biçimsel diller ve dil üreteçleri olan gramer yapılarını anlamak. |
| 2 | Deterministik ve nondeterministik sonlu durum otomatalarını anlamak. |
| 3 | Regular diller ve Context-free dilleriyapısını anlamak ve Pumping lemma'ları öğrenip uygulmak. |
| 4 | Turing makinalarını, onların tanıdığı dilleri ve varyantlarını öğrenmek. |
Öğrenim Türü
Birinci Öğretim
Dersin Ön Koşulu Olan Dersler
Ders İçin Önerilen Diğer Hususlar
Yok
Dersin İçeriği
Biçimsel diller, gramer yapıları ve katarlara giriş, Soyut makine ve dil kavramı, Chomsky hiyerarşisi, Düzenli ifadeler, Sonlu Durumlu makinalar: Makine kongrüansı ve durum indirgenmesi, Kararlı ve Kararlı olmayan olmayan otomatlar. Yığın yapılı (Push-down) otomatlar ve bağlamdan bağımsız gramerler. Turing makinası, hesaplanabilirlik ve karar-verebilirlik.
Haftalık Ayrıntılı Ders İçeriği
| Hafta | Teorik | Uygulama | Laboratuvar |
|---|---|---|---|
| 1 | Giriş - Formal diller, gramer yapıları ve katarlara giriş | ||
| 2 | Soyut makine ve dil kavramı | ||
| 3 | Chomsky hiyerarşisi | ||
| 4 | Kararlı otomatlar | ||
| 5 | Kararlı olmayan otomatlar | ||
| 6 | Sonlu Durumlu makinalar: Makine kongrüansı ve durum indirgenmesi | ||
| 7 | Düzenli İfadeler ve diller | ||
| 8 | Yığın yapılı otomatlar ve bağlamdan bağımsız gramerler | ||
| 9 | Minimum Yayılan Ağaç Problemi | ||
| 10 | Yığın yapılı otomatlar ve bağlamdan bağımsız gramerler | ||
| 11 | Yığın yapılı otomatlar ve bağlamdan bağımsız gramerler | ||
| 12 | Push-down Otomata | ||
| 13 | Turing makinaları, hesaplanabilirlik ve karar-verebilirlik | ||
| 14 | Turing makinaları, hesaplanabilirlik ve karar-verebilirlik |
Ders Kitabı Malzemesi Önerilen Kaynaklar
• An Introduction to Formal Languages and Automata by Peter Linz • Introduction to Automata Theory, Languages, and Computation, by Hopcroft, Motwani, and Ullman • Models of Computation, Jeff Erickson, Lecture Notes
Planlanan Öğrenme Aktiviteleri ve Metodları
Değerlendirme
| Yarıyıl (Yıl) İçi Etkinlikleri | Adet | Değer |
|---|---|---|
| Ara Sınav | 1 | 75 |
| Ev Ödevi | 1 | 25 |
| Toplam | 100 | |
| Yarıyıl (Yıl) Sonu Etkinlikleri | Adet | Değer |
| Final Sınavı | 1 | 100 |
| Toplam | 100 | |
| Yarıyıl (Yıl) İçi Etkinlikleri | 40 | |
| Yarıyıl (Yıl) Sonu Etkinlikleri | 60 | |
Staj Durumu
İş Yükü Hesaplaması
| Etkinlikler | Sayısı | Süresi (saat) | Toplam İş Yükü (saat) |
|---|---|---|---|
| Ara Sınav | 1 | 2 | 2 |
| Final Sınavı | 1 | 2 | 2 |
| Derse Katılım | 14 | 3 | 42 |
| Ara Sınav İçin Bireysel Çalışma | 1 | 36 | 36 |
| Final Sınavı içiin Bireysel Çalışma | 1 | 48 | 48 |
| Ev Ödevi | 1 | 20 | 20 |
| Toplam İş Yükü (saat) | 150 | ||
Program ve Öğrenme Çıktıları İlişkisi
| ÖÇ 1 |
| ÖÇ 2 |
| ÖÇ 3 |
| ÖÇ 4 |
* Katkı Düzeyi : 1 Çok düşük 2 Düşük 3 Orta 4 Yüksek 5 Çok yüksek