Mühendislik Fakültesi
Bilgisayar Ve Yazılım Mühendisliği
Ders Bilgileri
OTOMATA TEORİSİ | |||||
---|---|---|---|---|---|
Kodu | Dönemi | Teori | Uygulama | Ulusal Kredisi | AKTS Kredisi |
Saat / Hafta | |||||
CSE435 | Güz | 2 | 2 | 3 | 5 |
Ön Koşulu Olan Ders( ler ) | Yok |
---|---|
Dili | İngilizce |
Türü | Seçmeli |
Seviyesi | Lisans |
Öğretim Elemanı( ları ) | Dr. Öğr. Üyesi Omid SHARIFI |
Öğretim Sistemi | Yüz Yüze |
Önerilen Hususlar | Yok |
Staj Durumu | Yok |
Amacı | Bu dersin amacı, öğrencilere hesaplama teorisinin temel kavramlarını sağlam temeller kazandırmaktır. |
İçeriği | Resmi dillere ve gramerlere giriş. Deterministik ve deterministik olmayan sonlu otomasyonlar. Düzenli diller. Düzenli ifadeler. Dil sınırlamaları. Bağlam içermeyen gramerler. Bağlam içermeyen diller. Basamak otomatiği. Ayrıştırma. Chomsky hiyerarşisi. Sınırsız gramerler. Özyinelemeli ve yinelemeli olarak numaralandırılabilir kümeler. Turing makineleri. Hesaplanabilirlik. Durma sorunu, çözülemezlik. |
Dersin Öğrenim Çıktıları
# | Öğrenim Çıktıları |
---|---|
1 | Bu dersi başarıyla tamamlayan tüm öğrenciler, aşağıdakiler hakkında bilgi ve anlayış geliştirmiş olacaklardır: |
2 | - Resmi diller ve gramerler |
3 | - Automata |
4 | Bu dersi başarıyla tamamlayan öğrenciler, kendi alanlarındaki becerilerini geliştirmiş olacaklardır: |
5 | - Yazılımların ve donanımların tasarımı. |
6 | - Derleyiciler ve programlama dilleri |
Haftalık Ayrıntılı Ders İçeriği
# | Konular | Öğretim Yöntem ve Teknikleri |
---|---|---|
1 | Giriş | Anlatım, tartışma, sunum |
2 | Dizeler ve Alfabeler, Biçimsel Diller, Gramer Nosyonu. | Anlatım, tartışma, sunum |
3 | Sıralı Yapılandırılmış Gramerler, Normal Gramerler, Bağlamsız Gramerler (CFG). | Anlatım, tartışma, sunum |
4 | Sonlu Otomata (FA). | Anlatım, tartışma, sunum |
5 | Deterministik Sonlu Otomasyon (DFA), Deterministik Olmayan Sonlu Otomata Verilerinin (NFA) Eşitliği ve DFA. | Anlatım, tartışma, sunum |
6 | Düzenli İfadeler ve Karşılık gelen Diller. | Anlatım, tartışma, sunum |
7 | Ara sınav | Ölçme |
8 | FA tarafından Kabul Edilen Dillerin Özellikleri. FA ve Düzenli Dillerin Eşdeğerliliği. | Anlatım, tartışma, sunum |
9 | Pompalama Lemması. FA'nın en aza indirilmesi. Mealy / Moore Makineleri. | Anlatım, tartışma, sunum |
10 | Bağlamsız Dillerin Özellikleri (CFL). Türetme Ağaçları ve Belirsizlik. | Anlatım, tartışma, sunum |
11 | Türetme Ağaçları ve Belirsizlik. | Anlatım, tartışma, sunum |
12 | Chomsky ve Greibach Normal Formlar. | Anlatım, tartışma, sunum |
13 | CFL'lerin ve PDA'ların eşdeğerliliği. | Anlatım, tartışma, sunum |
14 | Son Sınav | Ölçme |
15 | ||
16 |
Resources
# | Malzeme / Kaynak Adı | Kaynak Hakkında Bilgi | Referans / Önerilen Kaynak |
---|---|---|---|
1 | J.E. Hopcroft, R. Motwani, J.D. Ullman, “Introduction to Automata Theory, Languages, and Computation”, 2nd or above editions, Addison-Wesley. |
Ölçme ve Değerlendirme Sistemi
# | Ağırlık | Çalışma Türü | Çalışma Adı |
---|---|---|---|
1 | %40 | Ara Sınav | Ara Sınav |
2 | %60 | Son Sınav | Son Sınav |
Dersin Öğrenim Çıktıları ve Program Yeterlilikleri ile İlişkileri
# | Öğrenim Çıktıları | Program Çıktıları | Ölçme ve Değerlendirme |
---|---|---|---|
1 | Bu dersi başarıyla tamamlayan tüm öğrenciler, aşağıdakiler hakkında bilgi ve anlayış geliştirmiş olacaklardır: | 2͵3͵4 | 1͵2 |
2 | - Resmi diller ve gramerler | 2͵3͵4 | 1͵2 |
3 | - Automata | 2͵3͵4 | 1͵2 |
4 | Bu dersi başarıyla tamamlayan öğrenciler, kendi alanlarındaki becerilerini geliştirmiş olacaklardır: | 2͵3͵4 | 1͵2 |
5 | - Yazılımların ve donanımların tasarımı. | 2͵3͵4 | 1͵2 |
6 | - Derleyiciler ve programlama dilleri | 2͵3͵4 | 1͵2 |
İş Yükü Detayları
# | Etkinlik | Adet | Süre (Saat) | İş Yükü |
---|---|---|---|---|
1 | Ders Süresi | 14 | 4 | 56 |
2 | Sınıf Dışı Ders Süresi (Ön çalışma, pekiştirme) | 14 | 3 | 42 |
3 | Sunum ve Seminer Hazırlama | 0 | 0 | 0 |
4 | İnternette tarama, kütüphane ve arşiv çalışması | 0 | 0 | 0 |
5 | Belge/Bilgi listeleri oluşturma | 0 | 0 | 0 |
6 | Atölye | 0 | 0 | 0 |
7 | Ara Sınav için Hazırlık | 0 | 0 | 0 |
8 | Ara Sınav | 1 | 1 | 1 |
9 | Kısa Sınav | 0 | 0 | 0 |
10 | Ödev | 1 | 1 | 1 |
11 | Ara Proje | 1 | 20 | 20 |
12 | Ara Uygulama | 0 | 0 | 0 |
13 | Son Proje | 0 | 0 | 0 |
14 | Son Uygulama | 0 | 0 | 0 |
15 | Son Sınav için Hazırlık | 0 | 0 | 0 |
16 | Son Sınav | 1 | 1 | 1 |
121 |