GERİ DÖN
Ders Öğretim Planı
| Dersin Kodu | Dersin Adı | Dersin Türü | Yıl | Yarıyıl | AKTS | Kredi |
|---|---|---|---|---|---|---|
| ESOF206 | Formal Language and Automata Theory | Ders | 2 | 4 | 5.00 | 3.00 |
Dersin Seviyesi
Lisans
Dersin Sunulduğu Dil
İngilizce
Dersin Amacı
Bu dersin amacı, öğrencilere kesikli hesap işlemlerini yapan sistemleri tasarlayıp analiz edebilmeleri için gerekli teorik bilgilerin sağlanmasıdır.
Dersi Veren Öğretim GörevlisiGörevlileri
Öğrenme Çıktıları
| 1 | Soyut makine modellerini ve biçimsel dilleri anlayarak sınıflandırma yapar. |
| 2 | Çeşitli biçimsel dilleri kabul edebilecek soyut makine modellerini tasarlar. |
| 3 | Belli kuralları olan bir dili kabul eden yığın otomatanın tasarım projesini gerçekleyebilir. |
| 4 | Biçimsel dil ve otomata teorisi kavramlarını kullanarak hesaplanabilirlik ve karmaşıklık sınırlarını analiz edebilir. |
Öğrenim Türü
Birinci Öğretim
Dersin Ön Koşulu Olan Dersler
Ders İçin Önerilen Diğer Hususlar
Yok
Dersin İçeriği
• Otomata kavramının anlatılması; Otomata tiplerinin anlatılması, • 1. tip olarak Sonlu Otomatların tanımı; bir dili nasıl kabul eder, hangi dil tiplerini kabul eder örnek üzerinden anlatımı, • Sonlu Durumlu Belirsiz Otomatların anlatımı, Sonlu Durumlu Belirsiz Otomatların Belirli Otomata dönüştürülmesi yöntemlerinin anlatımı ve örneklerle gerçeklemesi, • Düzenli İfadeler nedir? Düzenli Diller nedir ve Özellikleri nelerdir? • Bağlamdan Bağımsız Gramerlerin tanımı ve bağlamdan bağımsız tüm dilleri kabul eden İtmeli Otomatlara giriş yapılması • İtmeli Otomatlar ve Bağlamdan Bağımsız Gramerlerin Denkliği • Bağlamdan Bağımsız Gramerler Üzerindeki İşlemler ve Bağlamdan Bağımsız Gramerlerin Kapalılık Özelliklerinin anlatımı • İtmeli otomatlarla örnek tasarımlar ve Turing Makinaları ve Örneklerle otomata tasarımları
Haftalık Ayrıntılı Ders İçeriği
| Hafta | Teorik | [OgretimYontemVeTeknikleri] | [OnHazirlik] |
|---|---|---|---|
| 1 | Sonlu Otomatlar | ||
| 2 | Belirlenimli Olamayan Otomatlar | ||
| 3 | Düzenli Diller | ||
| 4 | Düzenli İfadeler | ||
| 5 | Pompalama Önsavı | ||
| 6 | Bağlamdan Bağımsız Gramerler | ||
| 7 | Gramerlerin Farklı Biçimleri | ||
| 8 | Ara Sınav | ||
| 9 | Yığıt Yapılı Otomatlar | ||
| 10 | Bağlamdan Bağımsız Olmayan Diller | ||
| 11 | Turing Makineleri | ||
| 12 | Karar Verilmeyen Dil | ||
| 13 | P ve NP | ||
| 14 | Np- Tam Problemler |
Ders Kitabı Malzemesi Önerilen Kaynaklar
Otomatlar, Biçimsel Diller ve Turing Makineleri (Yazar: Dr.Emre SERMUTLU, Cinius Yayınları) Özdevinirler (Otomatlar) Kuramı ve Biçimsel Diller (Yazar: Ünal Yarımağan Yayınevi: Akademi) Automata, Formal Languages and Algebraic Systems (Yazar: Masami Ito Yayınevi: World Scientific Publishing Company)
Planlanan Öğrenme Aktiviteleri ve Metodları
Değerlendirme
| Yarıyıl (Yıl) İçi Etkinlikleri | Adet | Değer |
|---|---|---|
| Ara Sınav | 1 | 50 |
| Makale Yazma | 1 | 50 |
| 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 |
| Makale Yazma | 1 | 30 | 30 |
| Bireysel Çalışma | 14 | 3 | 42 |
| Ara Sınav İçin Bireysel Çalışma | 1 | 25 | 25 |
| Final Sınavı içiin Bireysel Çalışma | 1 | 25 | 25 |
| Toplam İş Yükü (saat) | 126 | ||
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