Üniversite Bilgisayar Bilimleri
Otomata Teorisi
Hesaplama Teorisi, biçimsel diller ve soyut makinelerin problem çözme kapasitelerinin matematiksel analizi.
Müfredat
- Sonlu Otomata (DFA, NFA) ve Düzenli İfadeler
- Bağlamdan Bağımsız Dilbilgisi ve Yığıtlı Otomata
- Turing Makineleri ve Hesaplanabilirlik
- Karar Verilebilirlik ve Durma Problemi (Halting Problem)
- Zaman ve Alan Karmaşıklığı Sınıfları (P, NP, PSPACE)
Sınav ve Ders Stratejisi
Tamamen soyut ve teorik bir formattadır. Dilbilgisi kurallarını ve belirli dilleri kabul/reddeden durum makinelerinin çizimini test eder.