Dersin Ayrıntıları
YarıyılKoduAdıT+U+LKrediAKTSSon Güncelleme Tarihi
4COMP 3330OTOMATLAR KURAMI3+0+03601.02.2023

 
Dersin Detayları
Dersin Dili İngilizce
Dersin Düzeyi Lisans
Bölümü / Programı BİLGİSAYAR MÜHENDİSLİĞİ
Öğrenim Türü Örgün Öğretim
Dersin Türü Zorunlu
Dersin Öğretim Şekli Yüz Yüze
Dersin Amacı Farklı tip biçimsel diller ve devinirler, bunların özellikleri ve uygulamaları ile farklı türden problemler ve karar verilebilirlik sonuçları hakkında bilgi edinmek.
Dersin İçeriği Sonlu devinirler, düzenli deyimler, düzenli diller, aşağı sürklemeli devinirler, bağlam bağımsız gramerler, bağlam bağımsız diller, Turing makineleri, özyinelemeli diller, özyinelemeli sayılabilir diller, Chomsky hiyerarşisi, karar verilebilirlik.
Dersin Yöntem ve Teknikleri
Ön Koşulları Yok
Dersin Koordinatörü Dr. Öğr. Üyesi Mutlu Beyazıt
Dersi Verenler Dr. Öğr. Üyesi Mutlu Beyazıt
Dersin Yardımcıları Yok
Dersin Staj Durumu Yok

Ders Kaynakları
Kaynaklar Introduction to Automata Theory, Languages, and Computation, 3rd Edition, J.E. Hopcroft, R. Motwani, J.D. Ullman, 2006.


Planlanan Öğrenme Aktiviteleri ve Metodları
Etkinlikler ayrıntılı olarak "Değerlendirme" ve "İş Yükü Hesaplaması" bölümlerinde verilmiştir.

Değerlendirme Ölçütleri
Yarıyıl Çalışmaları Sayısı Katkı
Ara Sınav/Mid-Term 1 % 40
Yarıyıl Sonu Sınavı/ Dönem Projesi/Contribution of final Examination and Final Project 1 % 60
Toplam :
2
% 100

 
AKTS Hesaplama İçeriği
İş Yükü Sayısı Süre Toplam İş Yükü (Saat)
Ara Sınav/Mid-Term 1 40 40
Ders Süresi(14 hafta) Toplam ders saati/Course Teaching Hours(14 weeks)Total course hours 14 3 42
Sınıf Dışı Ders Çalışma Süresi(Ön Çalışma)/Further self-study 14 3 42
Yarıyıl Sonu Sınavı/ Dönem Projesi/Contribution of final Examination and Final Project 1 30 30
Toplam İş Yükü   AKTS Kredisi : 6 154

 
Dersin Öğrenme Çıktıları: Bu dersin başarılı bir şekilde tamamlanmasıyla öğrenciler şunları yapabileceklerdir:
Sıra NoAçıklama
1 Özdevinirler, biçimsel diller ve hesaplama kuramına ait temel kavramları anlamak.
2 Verilen problemleri tanımlamak için kuramsal yapılar tasarlamak.
3 Verilen problemleri değerlendirmek ve sınıflandırmak için kuramsal kavramları uygulamak.

 
Ders Konuları
HaftaKonuÖn HazırlıkDökümanlar
1 Giriş Okuma Ödevi Teori
2 Sonlu Devinirler Okuma Ödevi Teori
3 Sonlu Devinirler Okuma Ödevi Teori
4 Düzenli Deyimler ve Düzenli Diller Okuma Ödevi Teori
5 Düzenli Dillerin Özellikleri Okuma Ödevi Teori
6 Düzenli Dillerin Özellikleri Okuma Ödevi Teori
7 Bağlam Bağımsız Diller ve Bağlam Bağımsız Dilbilgisi Okuma Ödevi Teori
8 Yığıtlı Özdevinirler Okuma Ödevi Teori
9 Yığıtlı Özdevinirler, Bağlam Bağımsız Dillerin Özellikleri Okuma Ödevi Teori
10 Bağlam Bağımsız Dillerin Özellikleri Okuma Ödevi Teori
11 Turing Makineleri Okuma Ödevi Teori
12 Turing Makineleri, Özyinelemeli ve Özyineleyerek Numaralandırılabilir Dillerin Özellikleri Okuma Ödevi Teori
13 Özyinelemeli ve Özyineleyerek Numaralandırılabilir Dillerin Özellikleri, Kararlaştırılamazlık Okuma Ödevi Teori
14 Kararlaştırılamazlık, Toparlama Okuma Ödevi Teori

 
Ders İçin Önerilen Diğer Dersler
Veri yok
Dersin Program Çıktılarına Katkısı
P1 P2 P3 P4 P5 P6 P7 P8 P9 P10 P11
Tüm 4 4 3
Ö1 4 4 3
Ö2 4 4 3
Ö3 4 4 3

  Katkı Düzeyi: 1: Çok Düşük 2: Düşük 3: Orta 4: Yüksek 5: Çok Yüksek

  
  https://obs.yasar.edu.tr/oibs/bologna/progCourseDetails.aspx?curCourse=4005000554489&lang=tr