DERSİN TÜRÜ	Seçmeli
DERSİN DÜZEYİ	Lisans
DERSİN YILI	-
YARIYIL	-
AKTS	5
ÖĞRETİM ELEMAN(LAR)I	Profesör Doktor Nizami Gasilov
DERSİN ÖĞRENME KAZANIMLARI	Bu dersin sonunda öğrenciler; 1) Otomata Teorisi, Hesaplama kuramı ve Biçimsel dillere ilişkin temel kavramları ve modelleri öğrenecekler. 2) Sonlu durum makineleri, Aşağı itmeli makineler ve Turing makineleri gibi soyut makineler üzerine sorular çözebilecekler. 3) Biçimsel dillerin; düzenli ifadeler ve biçimsel gramerlerle gösterimlerini öğrenecekler. 4) Hesaplama sürecinin soyut modellerini anlayacaklar, bu modellerin güçleri ve sınırları hakkında fikir yürütebilecekler.
DERSİN VERİLİŞ BİÇİMİ	Yüz Yüze
DERSİN ÖNKOŞULLARI	Yok
ÖNERİLEN DERSLER	Yok
DERS TANIMI	Otomata Teorisine giriş. Temel matematiksel kavramlar ve yöntemler. Simgeler, Alfabeler, Dizgiler, Diller, Problemler. Deterministik sonlu durum makineleri. Deterministik olmayan sonlu durum makineleri. Düzenli diller ve ifadeler. Kleene teoremi. Biçimsel gramerler. İçerikten bağımsız diller. Aşağı itmeli özdevinirler. Turing makineleri. Hesaplanabilirlik ve Karar verilebilirlik. Durma problemi, Çözülemez problemler. Karmaşıklık kuramı: P ve NP sınıflar.
DERS İÇERİĞİ	HAFTA KONULAR 1. Hafta Otomata Teorisine giriş. 2. Hafta Temel matematiksel kavramlar ve yöntemler. 3. Hafta Simgeler, Alfabeler, Dizgiler, Diller, Problemler. 4. Hafta Deterministik sonlu durum makineleri. 5. Hafta Deterministik olmayan sonlu durum makineleri. 6. Hafta Düzenli diller ve ifadeler. 7. Hafta Kleene teoremi. 8. Hafta Ara-sınav 9. Hafta Biçimsel gramerler. 10. Hafta İçerikten bağımsız diller. 11. Hafta Aşağı itmeli özdevinirler.Turing makineleri. 12. Hafta Hesaplanabilirlik ve Karar verilebilirlik. 13. Hafta Durma problemi, Çözülemez problemler. 14. Hafta Karmaşıklık kuramı: P ve NP sınıflar.
ZORUNLU YA DA ÖNERİLEN KAYNAKLAR	1. Hopcroft J.E., Motwani R., Ullman J.D., Introduction to Automata Theory, Languages and Computation, 3/E, Addison Wesley, 2006 2. Kelley D., Automata and Formal Languages, Prentice Hall, 1995 3. Sipser M., Introduction to the Theory of Computation, 2/E, Thomson / Course Technology, 2005
ÖĞRETİM YÖNTEM VE TEKNİKLERİ	Anlatım,Soru-Cevap,Sunum,Rapor Hazırlama,Proje,Deney,Sorun/Problem Çözme,Eğitim-Uygulama
DEĞERLENDİRME YÖNTEMİ VE GEÇME KRİTERLERİ	Sayısı Toplam Katkısı(%) Ara Sınav 1 30 Ödev 8 10 Mini-Sınav 4 20 Toplam(%) 60 Yıl İçinin Başarıya Oranı(%) 60 Finalin Başarıya Oranı(%) 40 Toplam(%) 100
AKTS İŞ YÜKÜ	Aktivite Sayı Süresi(Saat) İş Yükü Ara Sınav 1 1,5 1,5 Kısa Sınavlara hazırlık Sınıf Dışı Ders Çalışma Süresi Final Sınavına Hazırlık 1 20 20 Ders Saati 14 3 42 Ara Sınava Hazırlık 1 15 15 Laboratuvar Final Sınavı 1 1,5 1,5 Ödevler Proje 1 70 70 Kısa Sınavlar 4 ,5 2 Toplam İş Yükü 152 Toplam İş Yükü / 30 5,06 Dersin AKTS Kredisi 5
DİL	Türkçe
STAJ / UYGULAMA	Yok