Bilgi Paketi / Ders Kataloğu
| Ders Kodu | : MAT438 |
| Ders Türü | : Bölüm Seçmeli |
| Ders Grubu | : Lisans |
| Eğitim Dili | : Türkçe |
| Staj Durumu | : Yok |
| Teori | : 3 |
| Uyg. | : 0 |
| Kredi | : 3 |
| Laboratuvar | : 0 |
| AKTS | : 6 |
Bu dersin amacı, öğrencilere soyut makine ve otomata kavramını açıklayarak bilgisayar sistemlerinin limitlerini anlamalarına yardımcı olmaktır
Otomata Teorisi: Temeller, biçimsel diller, Kleene kapalılık, Düzgün deyimler ve düzgün diller, Kleene teoremi, Çıktıya sahip sonlu özdevinirler, Meely ve Moore makinaları, ığın Otomata Teorisi, Post makinesi, Turing Teorisi : Turing makinaları, Durma problemi, saptanabilirlik problemi, hesaplanabilir fonksiyonlar, Church tezi
| Doç. Dr. Korhan GÜNEL |
| 1. | Biçimsel dil kavramını anlamak |
| 2. | Biçimsel diller ile doğal diller arasındaki farklılıkları bilmek |
| 3. | Biçimsel bir dili üreten sonlu özdevinirleri oluşturabilmek |
| 4. | Bilgisayarlarda gramer kavramını anlamak ve biçimsel dili üreten grameri oluşturabilmek |
| 5. | Turing teorisi ile bilgisayarların sınırlarını belirleyebilmek |
| 6. | Biçimsel dilleri sınıflandırabilmek |
| 7. | Hesaplanabilirlik kavramını açıklayabilmek |
| 1. | Peter Linz, An Introduction to Formal Languages and Automata, 4th Edition, Jones and Bartlett, Boston, 2006 |
| 2. | Hopcroft, John.E., Ullman, J.D., Introduction to Automata Theory, Languages and Computation, Addison Wesley, 1978 |
| Değerlendirme Türü | Adet | Yüzde |
|---|---|---|
| Ara Sınav (Vize) | 1 | %40 |
| Dönem Sonu Sınavı (Final) | 1 | %60 |
| Etkinlik | Sayısı | Ön Hazırlık | Süre | Toplam Iş Yükü (Saat) |
|---|---|---|---|---|
| Kuramsal Ders | 14 | 0 | 3 | 42 |
| Bireysel Çalışma | 14 | 0 | 3 | 42 |
| Ara Sınav | 1 | 30 | 2 | 32 |
| Dönem Sonu Sınavı | 1 | 32 | 2 | 34 |
| TOPLAM İŞ YÜKÜ (Saat) | 150 | |||
PÇ-1 | PÇ-2 | PÇ-3 | PÇ-4 | PÇ-5 | PÇ-6 | PÇ-7 | PÇ-8 | PÇ-9 | PÇ-10 | PÇ-11 | PÇ-12 | PÇ-13 | PÇ-14 | PÇ-15 | PÇ-16 | PÇ-17 | PÇ-18 | |
OÇ-1 | 4 | 4 | 3 | 4 | ||||||||||||||
OÇ-2 | 4 | 3 | ||||||||||||||||
OÇ-3 | 4 | 4 | 4 | 3 | 4 | 4 | 4 | |||||||||||
OÇ-4 | 4 | 4 | 3 | 4 | 4 | 4 | ||||||||||||
OÇ-5 | 3 | 4 | ||||||||||||||||
OÇ-6 | ||||||||||||||||||
OÇ-7 | 3 | |||||||||||||||||