DERS ADI

: OTOMATA VE BİÇİMSEL DİLLER

Ders Bilgileri

Ders Kodu Ders Adı Ders Türü D U L AKTS
CME 3002 OTOMATA VE BİÇİMSEL DİLLER ZORUNLU 3 0 0 6

Dersi Veren Birim

Bilgisayar Mühendisliği

Dersin Düzeyi

Lisans

Ders Koordinatörü

PROFESÖR SÜLEYMAN SEVİNÇ

Dersi Alan Birimler

Bilgisayar MühendisliğiTezsiz Bilimsel Hazırlık (YL)
Bilgisayar Mühendisliği Bilimsel Hazırlık (YL)
Bilgisayar Mühendisliği Tezsiz Bilimsel Hazırlık İÖ (YL)
Bilgisayar Mühendisliği

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

Dersin Öğrenme Kazanımları

1   Kanıtlama tekniklerini tanımlayabilme
2   Finite-State makinalarını tanımlayabilme
3   Regular Dillerini belirleyebilme
4   Context-Free Dilleri belirleyebilme
5   PDA belirleyebilme
6   Turing Makinaları nı belirleyebilme
7   İndirgeme yöntemini verilen problemlere uygulayabilme
8   P, NP sınıflarını tanımlayabilme

Dersin Öğretim Türü

Örgün Öğretim

Dersin Önkoşulu/Önkoşulları

Yok

Ders İçin Önerilen Diğer Hususlar

Yok

Ders İçeriği

Hafta Konular Açıklama
1 Formal kanıtlama yöntemleri
2 Recursive Tanımlar
3 Durum Makinaları
4 Sonlu Durum Makinaları
5 Regular Diller
6 Sonsuz kaynaklılık
7 Vize 1
8 Non-Regular Diller The Pumping Lemma
9 Context-Free Languages Context-Free Grammars, Push-Down Automata
10 Context-Free Languages
11 Non-Context-Free Languages The Pumping Lemma
12 Turing Makinaları
13 Vize 2
14 The Definition Of An Algorithm Decidability, The Halting Problem

Ders İçin Önerilen Kaynaklar

Sipser, Michael. Introduction to the Theory of Computation. 2nd ed. Boston, MA: Thomson Course Technology, 2006. ISBN: 0534950973

Öğrenme ve Öğretme Yöntemleri

Ders anlatımı ve ev ödevlerinin yapılması

Değerlendirme Yöntemleri

SIRA NO KISA KOD UZUN ADI FORMUL
1 VZ1 1. Vize
2 VZ2 2. Vize
3 ODV Ödev
4 FN Final
5 BNS BNS VZ1*0.175+VZ2 *0.175+ODV *0.15+FN * 0.50


*** Bütünleme Sınavı Yapılmayan Birimlerde Bütünleme Kriteri Dikkate Alınmaz.

Değerlendirme Yöntemlerine İliskin Aciklamalar

Dersin değerlendirmeyöntemi klasik ev ödevi ve sınav değerlendirmelerinden ibarettir.

Değerlendirme Kriteri

İlan Edilecektir.

Dersin Öğretim Dili

İngilizce

Derse İlişkin Politika ve Kurallar

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.

Dersin Öğretim Üyesi İletişim Bilgileri

Dahili 17403, e-posta suleyman.sevinc@deu.edu.tr

Ders Öğretim Üyesi Görüşme Gün ve Saatleri

İlk derste duyurulacaktır.

Staj Durumu

YOK

İş Yükü Hesaplaması

Etkinlikler Sayısı Süresi (saat) Toplam İş Yükü (saat)
Ders Anlatımı 12 3 36
Haftalık Ders öncesi/sonrası hazırlıklar 12 4 48
Vize Sınavına Hazırlık 2 10 20
Ödev Hazırlama 3 9 27
Final Sınavına Hazırlık 1 13 13
Final Sınavı 1 2 2
Vize Sınavı 2 2 4
TOPLAM İŞ YÜKÜ (saat) 150

Program ve Öğrenme Kazanımları İlişkisi

PK/ÖKPK.1PK.2PK.3PK.4PK.5PK.6PK.7PK.8PK.9PK.10
ÖK.15
ÖK.2544
ÖK.35
ÖK.45
ÖK.55
ÖK.65
ÖK.75
ÖK.85