.png){kind=spacer}
GERİ DÖN
Ders Öğretim Planı
| Dersin Kodu | Dersin Adı | Dersin Türü | Yıl | Yarıyıl | AKTS | Kredi |
|---|---|---|---|---|---|---|
| EBLG214 | Biçimsel Diller ve Otomat Teorisi | Ders | 2 | 4 | 5.00 | 3.00 |
Dersin Seviyesi
Lisans
Dersin Sunulduğu Dil
Dersin Amacı
Bu derste vurgu üç kavramı öğrenme üstünedir: hesaplama nedir, neler hesaplanabilir, neler hesaplanamaz? Ders konuları doğası gereği matemetikseldir ve ders boyunca ispatlar sunulur. Hesaplama problemlerinnde mantık yürütme ve ispat yapabilme yeteneklerinin geliştirilmesi dersin temel amaçlarındandır.
Dersi Veren Öğretim GörevlisiGörevlileri
Öğrenme Çıktıları
| 1 | Düzenli dilleri düzenli ifadeler ve sonlu durum makineleri kullanarak tanıyabilme, düzenli olmayan dillerin düzensizliğini ispatlayabilme. |
| 2 | Bağlama duyarsız diller için bağlama duyarsız gramer ve ters listeli otomata geliştirebilme, bağlama duyarsız olmayan dillerin bu özelliğini ispatlayabilme. |
| 3 | Hesapsal karar problemleri ile diller arasındaki ilişkiyi kavrama. |
Öğrenim Türü
Birinci Öğretim
Dersin Ön Koşulu Olan Dersler
Yok.
Ders İçin Önerilen Diğer Hususlar
Yok
Dersin İçeriği
Temel hesaplama kavramlarına giriş. Hesapsal problenmler ile diller arasındaki ilişki kurlduktan sonra, diller (düzenli diller, bağlama duyarsız diller, vb.) hesapsal zorluklara göre sınıflanır ve her sınıfa karşılık gelen hesaplama modeli tanıtılır. Her hesaplama modeli karşılık gelen bir otomaton (makine) ile temsil edilir.
Haftalık Ayrıntılı Ders İçeriği
| Hafta | Teorik | [OgretimYontemVeTeknikleri] | [OnHazirlik] |
|---|---|---|---|
| 1 | Matematiksel Sonuç Çıkarma | ||
| 2 | Alfabe, karakter dizisi, formal dil tanımları | ||
| 3 | Deterministik Sonlu Otomatların Tanımı ve Oluşturulması | ||
| 4 | Deterministik Olmayan Sonlu Otomatların Tanımı ve Oluşturulması. Deterministik Olmayan Sonlu Otomatların Deterministik Sonlu Otomatlara Dönüştürülmesi. | ||
| 5 | Deterministik Olmayan Epsilon Geçişli Sonlu Otomatların Tanımı ve Oluşturulması. Deterministik Olmayan Epsilon Geçişli Sonlu Otomatların Deterministik Sonlu Otomatlara Dönüştürülmesi. | ||
| 6 | Düzenli Diller ve Düzenli ifadeler, Düzenli ifadeler üzerine işlemler. | ||
| 7 | Sonlu Otomatların Düzenli İfadelere Dönüştürülmesi | ||
| 8 | Ara Sınav | ||
| 9 | Düzenli İfadelerin Sonlu Otomatlara Dönüştürülmesi | ||
| 10 | Pompalama teoremi ve düzesizliği ispatlama. | ||
| 11 | Bağlama duyarsız diller ve bunlar için bağlama duyarsız gramer oluşturma | ||
| 12 | Bağlama duyarsız diller için ters listeli otomata dizaynı | ||
| 13 | Bağlama duyarsız diller için ters listeli otomata dizaynı | ||
| 14 | Terslisteli otomata modeli ile bağlama duyarsız gramerlerin eşdeğerliği |
Ders Kitabı Malzemesi Önerilen Kaynaklar
Planlanan Öğrenme Aktiviteleri ve Metodları
Değerlendirme
| Yarıyıl (Yıl) İçi Etkinlikleri | Adet | Değer |
|---|---|---|
| Ara Sınav | 1 | 80 |
| Ev Ödevi | 1 | 20 |
| 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
Yok.
İş 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 | 2 | 28 |
| Bireysel Çalışma | 14 | 1 | 14 |
| Ara Sınav İçin Bireysel Çalışma | 1 | 20 | 20 |
| Final Sınavı içiin Bireysel Çalışma | 1 | 30 | 30 |
| Ev Ödevi | 4 | 5 | 20 |
| Toplam İş Yükü (saat) | 116 | ||
Program ve Öğrenme Çıktıları İlişkisi
| PÇ 1 | PÇ 2 | PÇ 3 | PÇ 4 | PÇ 5 | PÇ 6 | PÇ 7 | PÇ 8 | PÇ 9 | PÇ 10 | PÇ 11 | PÇ 12 | PÇ 13 | PÇ 14 | |
| ÖÇ 1 | 4 | |||||||||||||
| ÖÇ 2 | 5 | |||||||||||||
| ÖÇ 3 | 5 |
* Katkı Düzeyi : 1 Çok düşük 2 Düşük 3 Orta 4 Yüksek 5 Çok yüksek