| Ders Adı | Kodu | Yarıyıl | T+U Saat | Kredi | AKTS |
|---|---|---|---|---|---|
| Formal Languages And Abstract Machines | CE301 | 5. Yarıyıl | 3 + 0 | 3,0 | 5,0 |
| Ön Koşullar | Yok |
| Dersin Dili | Türkçe |
| Dersin Seviyesi | Lisans |
| Dersin Türü | Ders |
| Dersin Verilişi | Anlatım, Alıştırma ve Uygulama, Soru-Cevap, Tartışma, Problem Çözme |
| Dersin Koordinatörü |
Dr. Öğr. Üyesi Esra ŞATIR |
| Dersi Verenler |
Dr. Öğr. Üyesi Esra ŞATIR |
| Dersin Yardımcıları | |
| Dersin Amacı | Programlama dillerinin tasarımına ilişkin matematiksel yöntemlerin sunulması ve bir dilde yazılan bir programın kabul şartları için araçlar tasarımını mümkün kılmak. |
| Dersin İçeriği | Dillerle ilgili temel matematik, Regüler ifadeler ve kümeler, Deterministik ve nondeterministik otomatlar, Dilbilgisi ve diller, Regüler diller, bağlamdan bağımsız diller, Gramerlerin iyileştirilmesi ve Normal formlar, Yığıtlı otamatlar, Turing makineleri, Ayrıştırma işlemleri, Dillerin sınıflandırılması, LL(k) diller ve LR(k) diller, Shift-Reduce ve Recursive-Descent ayrıştırma yöntemleri. |
| Ders Öğrenme Kazanımları |
- Dil tanımı için elemanları anlama, dil tanımlama - Dil kümeleri, dil kümelerinin tanımı ve düzgün deyimler - Düzgün Diller ve otomata teorisinin gerçekleştirilmesi - Dil tasarımlarını anlama ve deterministik sonlu soyut makineleri tasarlama - Dil tasarımlarını anlama ve non-deterministik sonlu soyut makineleri tasarlama - Dil tasarımlarında geçiş diyagramlarını kullanma - Dil tasarımlarında Moore-Mealy Makinelerini kullanma - Bağlamdan Bağımsız Dil kuramını anlama - Dil ağaçlarını kullanma ve Parsing - Push Down Makinelerini anlama ve dil tanımında kullanma - Turing Makinelerini dil tanımında kullanma |
| Hafta | Konular | Öğretim Yöntemleri |
|---|---|---|
| 1. Hafta | Düzenli ve Düzensiz Diller | |
| 2. Hafta | Matematiksel Notasyonlar ve Teknikler | |
| 3. Hafta | Düzenli İfadeler ve Düzenli Diller | |
| 4. Hafta | Deterministik Sonlu Otomatlar | |
| 5. Hafta | Nondeterministik Sonlu Otomatlar | |
| 6. Hafta | Geçiş Diyagramları | |
| 7. Hafta | Çıkış Veren Sonlu Soyut Makineler | |
| 8. Hafta | Bağlamdan Bağımsız Dilbilgisi ve Diller | |
| 9. Hafta | Normal Biçimler | |
| 10. Hafta | Yığıtlı (Pushdown)Otamatlar | |
| 11. Hafta | Turing Makineleri | |
| 12. Hafta | Turing makinesi Örnekleri | |
| 13. Hafta | Ayrıştırma işlemleri (Top-down Parsing) | |
| 14. Hafta | Ayrıştırma işlemleri (Bottom-up Parsing) |
| 3. Daniel I. A. Cohen, "Introduction to Computer Theory" |
| 1. Prof.Dr.Ünal Yarımağan, "Özdevinirler (Otomatlar) Kuramı ve Biçimsel diller", 1. baskı, Bıçaklar kitabevi, 2003. |
| 2. Dan Simovici, Richard L. Tenney, "Theory of formal languages with applications" |
| Program Yeterlilik | Katkı Düzeyi | DK1 | DK2 | DK3 | DK4 | DK5 | DK6 | DK7 | DK8 | DK9 | DK10 | DK11 | Ölçme Yöntemi |
|---|
| 0 | 1 | 2 | 3 | 4 | 5 | |
|---|---|---|---|---|---|---|
| Ders Katkı Düzeyi | Yok | Çok Düşük | Düşük | Orta | Yüksek | Çok Yüksek |
| Ölçme Yöntemi | Yazılı sınav | Sözlü sınav | Ödev/Proje | Laboratuvar Çalışması | Sunum /Seminer |
| Etkinlik | Sayısı | Süresi (Saat) | Toplam İş Yükü (Saat) |
|---|---|---|---|
| Ara Sınav 1 | 1 | 1 | 1 |
| Final | 1 | 1 | 1 |
| Sınıf İçi Etkinlik | 1 | 1 | 1 |
| Toplam İş Yükü | 3 | ||
| Dersin AKTS Kredisi | 5,0 | ||
