| Müfredat Adı | Ders Kodu | Ders Adı | Ders Türü | Dönem | AKTS | Teorik | Uygulama |
| Bilgisayar Mühendisliği (İngilizce) - 2015 | CSE3064 | Formal Languages and Automata Theory | Zorunlu | 6 | 6,00 | 3 | 0 |
Marmara Üniversitesi
Marmara Üniversitesi Eğitim-Öğretim Bilgi Sistemi
Programlar Hakkında Bilgi
Lisans - Mühendislik Fakültesi - Bilgisayar Mühendisliği (İngilizce)
Dersin İçeriği
Dersin Amacı
Dersin amacı öğrencilere bilgisayar bilimlerinin kuramsal temelleri üzerinde genel bir bakış sağlamak ve biçimsel diller ve otomat kuramı ile ilgili temel kavramları ve modelleri öğretmektir. Öğrencilerin soyut düşünme ve ispat yapabilme kabiliyeti kazanması hedeflenmektedir.
Öğrenim Türü
-
Dersin İçeriği
Belirlenimli sonlu otomatlar. Belirlenimsiz sonlu otomatlar. Düzenli ifadeler ve düzenli diller. Düzenli dillerin özellikleri. Bağlamdan bağımsız dilbilgisi ve bağlamdan bağımsız dillerin özellikleri. Aşağı ittirmeli otomatlar. Turing makinaları. Karar verilemezlik.
Planlanan Öğrenme Aktiviteleri ve Metodları
Ders notları, ödevler.
Staj Durumu
Yok
Dersin Sunulduğu Dil
İngilizce
Ders Kitabı / Malzemesi / Önerilen Kaynaklar
Introduction to the Theory of Computation, 3. Baskı, Michael Sipser, Cengage Learning. (ders kitabı) Introduction to Automata Theory, Languages, and Computation, 3rd Edition, John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman, Pearson. (referans)
Dersin Web Sayfası
-
Öğrenme Çıktıları
- Düzenli dilleri belirleyebilmek, özelliklerini anlayabilmek ve belirlenimlli sonlu otomat tasarlayabilmek.
- Belirlenimsiz sonlu otomat tasarlayabilmek ve düzenli ifadeleri belirleyebilmek.
- Bağlamdan bağımsız dilleri belirleyebilmek ve bu diller için dilbilgisi veya aşağı ittirmeli otomat tasarlayabilmek.
- Turing makinasının çalışma şeklini anlayabilmek ve tasarlayabilmek ve karar verilebilir/verilemez dilleri/problemleri belirleyebilmek.
- Otomat kuramı kapsamında formal ispat yapabilmek.
Haftalık Ayrıntılı Ders İçeriği
| Hafta | Teorik |
|---|---|
| 1 | Otomata Kuramına Giriş ve Dil Kavramı |
| 2 | Belirlenimli Sonlu Otomatlar ve Düzenli Diller |
| 3 | Belirlenimli Sonlu Otomatlar ve Düzenli Diller |
| 4 | Belirlenimsiz Sonlu Otomatlar |
| 5 | Düzenli Dillerin Özellikleri |
| 6 | Düzenli İfadeler |
| 7 | Düzenil Diller için Pompalama Önsavı |
| 8 | Bağlamdan Bağımsız Dilbilgisi |
| 9 | Dilbilgisi Normal Biçimleri |
| 10 | Aşağı İttirmeli Otomatlar, Bağlamdan Bağımsız Diller ve Pompalama Önsavı |
| 11 | Aşağı İttirmeli Otomatlar, Bağlamdan Bağımsız Diller ve Pompalama Önsavı |
| 12 | Turing Makinaları ve Çeşitleri |
| 13 | Turing Makinaları ve Çeşitleri |
| 14 | Karar Verilebilir Diller ve Karar Verilemeyen Problemler |
| 15 | |
| 16 | |
| 17 |
Değerlendirme
| Değerlendirme | Değer |
|---|---|
| Yarıyıl (Yıl) İçi Etkinlikleri | 60 |
| Yarıyıl (Yıl) Sonu Etkinlikleri | 40 |
| Yarıyıl (Yıl) Sonu Etkinlikleri | Değer |
| Final Sınavı | 100 |
Öğrenci İş Yükü Hesabı
| Etkinlikler | Sayısı | Süresi (saat) | Toplam İş Yükü (saat) |
|---|---|---|---|
| Ders Öncesi/Sonrası Bireysel Çalışma | 14 | 6 | 84 |
| Proje ve Hazırlığı | 0 | 0 | 0 |
| Ödev ve Hazırlığı | 2 | 27 | 54 |
| Laboratuvar ve Hazırlığı | 0 | 0 | 0 |
| Atölye ve Hazırlığı | 0 | 0 | 0 |
| Sunum ve Hazırlığı | 0 | 0 | 0 |
| Seminer ve Hazırlığı | 0 | 0 | 0 |
| Demo ve Hazırlığı | 0 | 0 | 0 |
| Araştırma ve Hazırlığı | 0 | 0 | 0 |
| Rapor ve Hazırlığı | 0 | 0 | 0 |
| Arasınav ve Hazırlığı | 1 | 5 | 5 |
| Kısa Sınav ve Hazırlığı | 0 | 0 | 0 |
| Final ve Hazırlığı | 1 | 7 | 7 |
| Teorik Ders Saati | 0 | 0 | 0 |
| Uygulama Ders Saati | 0 | 0 | 0 |
Program ve Öğrenme Çıktıları İlişkisi
| ÖÇ1 | ||||||||||||||
| ÖÇ2 | ||||||||||||||
| ÖÇ3 | ||||||||||||||
| ÖÇ4 | ||||||||||||||
| ÖÇ5 |