|
Ön Koşul
|
-
|
|
Ders Dili
|
Türkçe
|
|
Dersin Sorumlusu
|
Dr. Öğr. Üyesi Fuat TÜRK
|
|
Dersi Verenler
|
-
|
|
Ders Yardımcıları
|
-
|
|
Kaynaklar
|
1. Automata Theory, Languages and Computation, by John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman. (Pearson 3rd Edition). 2.M. Sipser 2005, Introduction to the Theory of Computation, PWS Publ.3.Hopcroft J.E., Motwani R., Ullman J.D., Introduction to Automata Theory, Languages and Computation, 3/E, Addison Wesley, 2006.
|
|
Yardımcı Kitap
|
-
|
|
Dersin Amacı
|
Kesikli hesap işlemlerini yapan sistemlerin tasarlanıp analiz edilmesi için gerekli teorik bilgilerin sağlanmasıdır.
|
|
Dersin İçeriği
|
Giriş, Kanıt Yöntemleri, Sonlu Otomatlar, Düzenli İfadeler, Düzenli Dillerin Özellikleri, Düzenli Dillerin Karar Özellikleri, Bağlamdan Bağımsız Gramerler ve Belirsizlik, İtmeli Otomatlar, İtmeli Otomatlar ve Bağlamdan Bağımsız Gramerlerin Denkliği, Bağlamdan Bağımsız Gramerler Üzerindeki İşlemler, Bağlamdan Bağımsız Gramerlerin Kapalılık Özellikleri, Turing Makinaları ve Karmaşıklık, Farklı Turing Makine Modelleri, Karar Verilen ve Verilemeyen Problemler, NP-Tam Problemler
|