Bilgisayar Mühendisliği Dersi Veren Birim:
Dersin Orjinal Adı:
AUTOMATA AND FORMAL LANGUAGES
Dersin Düzeyi:(Ön lisans, Lisans, Yüksek Lisans, Doktora)
Lisans
Dersin Kodu:
CME 3002
Formun Düzenleme / Yenilenme Tarihi:
İngilizce
Dersin Öğretim Dili:
Haftalık Ders Saati: Ders Koordinatörü (Ders girşinden sorumlu olan kişi):
Teori Uygulama Laboratuvar Dersin Ulusal Kredisi:
3
Dersin AKTS Kredisi:
6
3 0 0
3 PROFESÖR SÜLEYMAN SEVİNÇ
24/09/2012 Dersin Türkçe Adı:
OTOMATA VE BİÇİMSEL DİLLER
Dersi Alan Birimler
Bilgisayar Müh. Bilimsel Hazırlık (YL)
Bilgisayar Mühendisliği
Bilgisayar Müh. Tezsiz Bilimsel Hazırlık (YL)
Bilg.Müh Tezsiz Bilimsel Hazırlık İÖ (YL)
Zorunlu
Zorunlu Zorunlu
Zorunlu
Birim Adı Türü
Dersin Amacı:
Bu dersin amacı öğrencileri formal dil yapıları, durum makinaları, bilgisayar dili ve hesaplama teorisi temelleriyle ilgili bilgi ve beceri kazanmalarını sağlamaktır
1 2
3 4
5 6
7 8
Kanıtlama tekniklerini tanımlayabilme Finite-State makinalarını tanımlayabilme
Regular Dillerini belirleyebilme Context-Free Dilleri belirleyebilme
PDA belirleyebilme
Turing Makinaları nı belirleyebilme
İndirgeme yöntemini verilen problemlere uygulayabilme P, NP sınıflarını tanımlayabilme
Dersin Öğrenme Çıktıları :
Ders anlatımı ve ev ödevlerinin yapılması
1. Vize 2. Vize Ödev Final BNS
VZ1 VZ2 ODV FN BNS
Değerlendirme Kriteri
VZ1*0175+VZ2 *0175+DV *015+FN * 050 Değerlendirme Yöntemleri:
Adı Kodu Hesaplama Formülü
Dersin değerlendirmeyöntemi klasik ev ödevi ve sınav değerlendirmelerinden ibarettir.
Değerlendirme Yöntemlerine İlişkin Açıklamalar:
Öğrenme ve Öğretme Yöntemleri:
PROFESÖR SÜLEYMAN
Dersin Öğretim Üyesi / Üyeleri
Sipser, Michael. Introduction to the Theory of Computation. 2nd ed. Boston, MA: Thomson Course Technology, 2006. ISBN: 0534950973
Ders İçin Önerilen Kaynaklar
Derse İlişkin Politika ve Kurallar: Ders başladıktan sonra öğrencilerin derse
girmelerine izin verilmez, geç teslim edilen ödevler kabul edilmez, sınavlarda sadece derste kendi el yazısı ile alınan notlar açık olarak bulundurulabilir, dersi almakla, öğrencilerin yaptıkları çalışmaların kendi çalışmaları olduğuna dair ve bunları
başkaları ile paylaşmayacaklarına dair ahlaki olarak söz verdikleri varsayılır.
Derse İlişkin Politika ve Kurallar
Dahili 17403, e-posta [email protected] Ders Öğretim Üyesi İletişim Bilgileri
İlk derste duyurulacaktır.
Ders Öğretim Üyesi Görüşme Günleri ve Saatleri
1
2 3
4 5 6 7 8 9
10 11 12
Introduction to proving and proofs, sound proofs and thinking, proof by construction,contradiction,
induction
Recursive Definitions
State Machines and Modelling Computation with State Machines
Finite State Machines
Regular Languages ? Regular Expressions Regular Languages - Nondeterminism Vize 1
Non-Regular Languages ? The Pumping Lemma
Context-Free Languages ? Context-Free Grammars, Push- Down Automata
Context-Free Languages ? Algorithms for memebership Non-Context-Free Languages ? The Pumping Lemma Turing Machines
Hafta Konular Açıklama
Dersin İçeriği
14 The Definition Of An Algorithm ? Decidability, The Halting Problem
Ders Anlatımı 12 3 36 0 AKTS Tablosu:
Derse İlişkin Etkinlikler Sayısı Süresi Top.İşyükü Ders İçi Etkinlikler
Sınavlar Final Sınavı Vize Sınavı
1 2
2 2
2 4
Haftalık Ders öncesi/sonrası hazırlıklar Vize Sınavına Hazırlık
Final Sınavına Hazırlık Ödev Hazırlama
12 2 1 3
4 10 13 9
48 20 13 27 Ders Dışı Etkinlikler
Toplam İşyükü Dersin AKTS Kredisi
150 6
