Ders Bilgileri

Ders Bilgileri
Ders Adı Kodu Dili Türü Yarıyıl T+U Saat Kredi AKTS
Formal Languages And Abstract Machines CE301 Türkçe Zorunlu 5. Yarıyıl 3 + 0 3,0 5,0
Ön Koşul Dersleri
Dersin Seviyesi Lisans
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 Veren(ler) Dr. Öğr. Üyesi Esra ŞATIR (Güz)
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ı
# Öğrenme Kazanımı
1 Dil tanımı için elemanları anlama, dil tanımlama
2 Dil kümeleri, dil kümelerinin tanımı ve düzgün deyimler
3 Düzgün Diller ve otomata teorisinin gerçekleştirilmesi
4 Dil tasarımlarını anlama ve deterministik sonlu soyut makineleri tasarlama
5 Dil tasarımlarını anlama ve non-deterministik sonlu soyut makineleri tasarlama
6 Dil tasarımlarında geçiş diyagramlarını kullanma
7 Dil tasarımlarında Moore-Mealy Makinelerini kullanma
8 Bağlamdan Bağımsız Dil kuramını anlama
9 Dil ağaçlarını kullanma ve Parsing
10 Push Down Makinelerini anlama ve dil tanımında kullanma
11 Turing Makinelerini dil tanımında kullanma
Ders Planı (Haftalık Konular)
Hafta Konular/Uygulamalar Yöntem
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)
*Ara sınav ve final sınav tarihleri 14 haftalık ders işleyiş planında belirtilmemiştir. Ara sınav ve final sınav tarihleri Üniversitemiz Senatosu kararı ile akademik takvimde belirtilen tarihlerde yapılmaktadır.
Dersin Öğrenme Kazanımlarının Program Yeterlilikleri İle İlişkisi
Program Yeterlilik DK1 DK2 DK3 DK4 DK5 DK6 DK7 DK8 DK9 DK10 DK11
Kaynaklar
Ders Kitabı veya Notu Ders Kitabı veya Ders Notu bulunmamaktadır.
Diğer Kaynaklar
  • 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"
AKTS / İş Yükü Tablosu
AKTS / İş Yükü Tablosu Sayısı Süresi (Saat) Toplam İş Yükü (Saat)
Sınavlar
Ara Sınav 1 1 1 1
Final 1 1 1
Sınıf İçi Etkinlik 1 1 1
Toplam İş Yükü 3
*AKTS = (Toplam İş Yükü) / 25,5 Dersin AKTS Kredisi 5,0