| | | | | | | |
Bölüm |
Teknoloji Fakültesi Bilgisayar Mühendisliği |
DERS BİLGİLERİ(Revizyon Tarihi:13.05.2024 17:41:00) |
Ders Kodu | Ders Adı | Kredi Teorik | Kredi Pratik | Kredi Lab/U | Kredi Toplam | Kredi Ects | Yarı Yılı |
BLG-304 | Biçimsel Diller ve Otomata | 3,0 | 0,0 | 0,0 | 3,0 | 4,0 | 6. Yarıyıl |
Dersin Dili | Türkçe |
Ders Düzeyi | LİSANS TYYÇ:6.DÜZEY EQF-LLL:6.DÜZEY QF-EHEA:1.DÜZEY |
Dersin Türü | Zorunlu |
Dersi Verenler | Dr. Öğr. Üyesi Burhan DUMAN |
Dersin Yardımcıları | Arş. Gör. Ahmet Bestami KÖSE |
Ofis Yeri | |
E-Posta | burhanduman@isparta.edu.tr |
Ofis Görüşme Saatleri | Çarşamba 8:30-11:00 |
İş Telefonu | |
Dersin Amacı | Biçimsel dil teorisinin temelini oluşturan otomatlar, diller, gramerler ve Turing makineleri konusunu öğretmektir. Bilgisayar bilimlerinde bu konular derleyici tasarımı ve bilgisayar dillerinin tanımlanması için temel teşkil eder. Matematikçiler için ise bu konular grup kuramı gibi matematiğin ana çalışma alanlarında giderek önem kazanmaktadır. |
Dersin İçeriği | Sonlu otomata Teorisi: Düzenli İfadeler, Sonlu Otomata Modelleri, Geçiş Grafları, Kleene's Teoremi, Temel tanımlar, Düzenli ve düzenli olmayan diller, Pumping Lemma ve Sonlu Otomata uygulamaları (Haberleşme Protokol Tasarımı, Sözel Analiz). Yığın Yapılı Otomata Teorisi: Bağlamdan bağımsız gramer ve diller, Parsing, Yığın Yapılı Otomata Modelleri. Turing Teorisi: Turing Makinesi Tasarımı, Turing Makineleri ile Hesaplama. |
Önkoşul Dersleri | |
Dersi İşleyiş Yöntemi | Yüz Yüze |
DERSİN KATEGORİSİ |
Dersin Kategorisi (Genel) | Katkı Düzeyi (%) |
Temel Mesleki Ders | 100 |
Uzmanlık/Alan Dersi | 0 |
Destek Dersi | 0 |
Beceri, İletişim ve Yönetim Becerileri Dersi | 0 |
Aktarılabilir Beceri Dersi | 0 |