| Müfredat Adı | Ders Kodu | Ders Adı | Ders Türü | Dönem | AKTS | Teorik | Uygulama |
| Bilgisayar Mühendisliği - 2014 | BLM3059 | Biçimsel Diller ve Otomata Teorisi | Seçmeli | 5 | 4,00 | 2 | 2 |
Marmara Üniversitesi
Marmara Üniversitesi Eğitim-Öğretim Bilgi Sistemi
Programlar Hakkında Bilgi
Lisans - Teknoloji Fakültesi - Bilgisayar Mühendisliği
Dersin İçeriği
Dersin Amacı
Hesaplama problemlerinin teorik limitlerini kavramak, hesaplanabilirlik, karar verilebilrilik problemlerini tanıtmak.
Öğrenim Türü
-
Dersin İçeriği
Formal 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, Belirgin ve belirgin olmayan otomatlar, Belirgin ve belirgin olmayan otomatlar, Belirgin ve belirgin olmayan otomatlar. Yığın yapılı otomatlar ve bağlamdan bağımsız gramerler. Turing makinası ve hesaplanabilirlik, Yığın yapılı otomatlar ve bağlamdan bağımsız gramerler, Yığın yapılı otomatlar ve bağlamdan bağımsız gramerler, Turing makinası ve hesaplanabilirlik.
Planlanan Öğrenme Aktiviteleri ve Metodları
Anlatım, görsel video, materyal örnekleri ve ödev
Staj Durumu
Yok
Dersin Sunulduğu Dil
Türkçe
Ders Kitabı / Malzemesi / Önerilen Kaynaklar
1. An Introduction to Formal Language and Autom by Peter Linz 2. Introduction to Automata Theory, Languages, and Computation, by Hopcroft, Motwani, and Ullman
Dersin Web Sayfası
Yok
Öğrenme Çıktıları
- Formal ve gramer dil yapısını anlar 2. Introduction to Automata Theory, Languages, and Computation, by Hopcroft, Motwani, and Ullman Gramer ve formal dil kavramlarını bilir.
- Otomatalar ve yeteneklerini anlar.
- Deterministik ve nondeterministik sonlu durum otomatalarını anlar.
- Pumping lemma ları öğrenir ve uygular.
- Turing makinalarını ve varyantlarını bilir.
Haftalık Ayrıntılı Ders İçeriği
| Hafta | Teorik |
|---|---|
| 1 | Formal diller, gramer yapıları ve katarlara giriş |
| 2 | Soyut makine ve dil kavramı, |
| 3 | Chomsky hiyerarşisi, |
| 4 | Düzenli ifadeler |
| 5 | Sonlu Durumlu makinalar: Makine kongrüansı ve durum indirgenmesi |
| 6 | Belirgin ve belirgin olmayan otomatlar |
| 7 | Belirgin ve belirgin olmayan otomatlar |
| 8 | Ara Sınav Haftası |
| 9 | Yığın yapılı otomatlar ve bağlamdan bağımsız gramerler |
| 10 | Turing makinası ve hesaplanabilirlik |
| 11 | Yığın yapılı otomatlar ve bağlamdan bağımsız gramerler |
| 12 | Yığın yapılı otomatlar ve bağlamdan bağımsız gramerler |
| 13 | Yığın yapılı otomatlar ve bağlamdan bağımsız gramerler |
| 14 | Turing makinası ve hesaplanabilirlik. |
| 15 | Turing makinası ve hesaplanabilirlik. |
| 16 | Ders Çalışma Haftası |
| 17 | Yarı Yıl Sonu Sınavı |
Değerlendirme
| Değerlendirme | Değer |
|---|---|
| Yarıyıl (Yıl) İçi Etkinlikleri | 50 |
| Yarıyıl (Yıl) Sonu Etkinlikleri | 50 |
| 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 | 2 | 28 |
| Proje ve Hazırlığı | 0 | 0 | 0 |
| Ödev ve Hazırlığı | 1 | 12 | 12 |
| Laboratuvar ve Hazırlığı | 14 | 2 | 28 |
| 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 | 12 | 12 |
| Kısa Sınav ve Hazırlığı | 0 | 0 | 0 |
| Final ve Hazırlığı | 1 | 12 | 12 |
| Teorik Ders Saati | 0 | 0 | 0 |
| Uygulama Ders Saati | 0 | 0 | 0 |
Program ve Öğrenme Çıktıları İlişkisi
| ÖÇ1 | |||||||||||||
| ÖÇ2 | |||||||||||||
| ÖÇ3 | |||||||||||||
| ÖÇ4 | |||||||||||||
| ÖÇ5 |