| Dersin Türü | Seçmeli |
|---|
| Dersin Düzeyi | Tezli Yüksek Lisans |
|---|
| Dersin Yılı | - |
|---|
| Dersin Yarıyılı | - |
|---|
| AKTS | 10 |
|---|
| Öğretim Eleman(lar)ı |
|
| Öğrenme Kazanımları |
Bu dersin sonunda öğrenciler;
- Otomata Teorisinde sonlu durum makinaları, aşağı itmeli makinalar ve Turing makinaları; Biçimsel Dillerde ise, düzenli, içerikten bağımsız ve deyim yapılı diller gibi temel kavramları öğrenmiş olur.
- Hesaplama sürecinin soyut modellerini anlarlar ve onların güçlerinin limitleri hakkında fikir yürütürler.
- Soyut hesaplama makinalarına dayanarak; çözülebilir ve çözülemez problemler, etkili çözülebilir ve çözülemeyen problemler üzerine düşünme yeteneği kazanır.
- Biçimsel modellerin, Bilgisayar Mühendisliğinin ve Bilgisayar Bilimlerinin farklı alanlarındaki önemini anlar.
|
| Veriliş Biçimi | Yüz Yüze |
|---|
| Önkoşullar | Yok |
|---|
| Önerilen Dersler | Yok |
|---|
| Ders Tanımı | Otomata Teorisine Giriş: Problemler ve Uygulamaları. Temel Matematiksel Kavramlar ve Yöntemler. Alfabeler, Satırlar, Diller, Problemler. Deterministik Sonlu Durum Makinaları. Deterministik olmayan Sonlu Durum Makinaları. Düzenli İfadeler ve diller, uygulamaları. Düzenli dillerin özellikleri. Biçimsel Gramerler. Backus-Naur Formu. LR Gramerler. İçerikten bağımsız diller. Aşağı itmeli otomata. İçerikten bağımsız dillerin özellikleri. Chomsky Normal Formu. Turing Makinaları. Turing Makinalarının Problem Çözümünde Kullanımı. Fonksiyonların hesaplanması. Hesaplanamayan fonksiyonlar. Çözülemeyen karar problemleri. Kararsızlık ve Çözümsüzlük. Bilişimsel karmaşıklık. Yönetimi Güç Problemler. Hücresel Otomata. |
|---|
| Ders İçeriği |
| HAFTA |
KONULAR |
|
1. Hafta |
Otomata Teorisine Giriş: Problemler ve Uygulamaları. |
|
2. Hafta |
Temel Matematiksel Kavramlar ve Yöntemler./Alfabeler, Satırlar, Diller, Problemler. |
|
3. Hafta |
Deterministik Sonlu Durum Makinaları. /Deterministik olmayan Sonlu Durum Makinaları. |
|
4. Hafta |
Düzenli İfadeler ve diller, Uygulamaları. /Düzenli dillerin özellikleri. |
|
5. Hafta |
Biçimsel Gramerler. |
|
6. Hafta |
Backus-Naur Formu. LR Gramerler. |
|
7. Hafta |
İçerikten bağımsız diller./Aşağı itmeli otomata. |
|
8. Hafta |
Ara-sınav |
|
9. Hafta |
İçerikten bağımsız dillerin özellikleri. |
|
10. Hafta |
Chomsky Normal Formu./Turing Makinaları. |
|
11. Hafta |
Turing Makinalarının Problem Çözümünde Kullanımı./Fonksiyonların hesaplanması. |
|
12. Hafta |
Hesaplanamayan fonksiyonlar./Çözülemeyen karar problemleri. |
|
13. Hafta |
Kararsızlık ve Çözümsüzlük./Bilişimsel karmaşıklık. |
|
14. Hafta |
Yönetimi Güç Problemler./Hücresel Otomata. |
|
| Kaynaklar | 1. Sudkamp, T.A. (2005) Languages and Machines: an Introduction to the Theory of Computer Science /3E, Addison Wesley.
2. Hopcroft, J.E., Motwani, R., Ullman, J.D. (2006) Introduction to Automata Theory, Languages and Computation /3E, Addison Wesley.
3. Kelley, D. (1995) Automata and Formal Languages: an Introduction, Prentice Hall.
|
|---|
| Öğretim Yöntemleri |
- Anlatım
- Soru-Cevap
- Sunum
- Deney
- Eğitim-Uygulama
- Sorun/Problem Çözme
- Proje
- Rapor Hazırlama
|
|---|
| Değerlendirme |
|
Sayısı |
Toplam Katkısı (%) |
| Ara Sınav |
1 |
30 |
| Ödev |
1 |
15 |
| Mini-Sınav |
1 |
15 |
| Toplam(%) |
|
60 |
| Yıl İçinin Başarıya Oranı(%) |
|
60 |
| Finalin Başarıya Oranı(%) |
|
40 |
| Toplam(%) |
|
100 |
|
| AKTS İş Yükü |
| Aktivite |
Sayı |
Süre (Saat) |
İş Yükü |
| Ara Sınav |
1 |
2 |
2 |
| Kısa Sınavlara hazırlık |
|
|
|
| Sınıf Dışı Ders Çalışma Süresi |
14 |
11 |
154 |
| Final Sınavına Hazırlık |
1 |
69 |
69 |
| Ders Saati |
14 |
3 |
42 |
| Ara Sınava Hazırlık |
1 |
44 |
44 |
| Laboratuvar |
|
|
|
| Final Sınavı |
1 |
2 |
2 |
| Ödevler |
|
|
|
| Toplam İş Yükü | 313 |
| Toplam İş Yükü / 30 | 10.43 |
| Dersin AKTS Kredisi | 10 |
|
| Dil | Türkçe |
|---|
| Staj / Uygulama | Yok |
|---|
