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 |
Lisans
Türkçe
Bu dersin amacı, öğrencilere kesikli hesap işlemlerini yapan sistemleri tasarlayıp analiz edebilmeleri için gerekli teorik bilgilerin sağlanmasıdır.
Dr.Öğretim Üyesi Fatih ŞAHİN
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. |
Birinci Öğretim
Yok.
Yok
• 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ı
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 |
1. Otomatlar, Biçimsel Diller ve Turing Makineleri (Yazar: Dr.Emre SERMUTLU, Cinius Yayınları) 2. Özdevinirler (Otomatlar) Kuramı ve Biçimsel Diller (Yazar: Ünal Yarımağan Yayınevi: Akademi) 3. Automata, Formal Languages and Algebraic Systems (Yazar: Masami Ito Yayınevi: World Scientific Publishing Company)
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 |
Yok.
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 |
ÖÇ 1 |
ÖÇ 2 |
ÖÇ 3 |