Ders AdıKodu Yerel KrediAKTS Ders (saat/hafta)Uygulama (saat/hafta)Laboratuar (saat/hafta)
Biçimsel Diller ve Soyut MakinelerBLM413035300
ÖnkoşullarBLM2502 Hesaplama Kuramı
YarıyılGüz
Dersin Diliİngilizce, Türkçe
Dersin SeviyesiLisans
Dersin TürüSeçmeli @ Bilgisayar Mühendisliği Lisans Programı
Ders KategorisiTemel Meslek Dersleri
Dersin Veriliş ŞekliYüz yüze
Dersi Sunan Akademik BirimBilgisayar Mühendisliği Bölümü
Dersin KoordinatörüÖmer Özgür Bozkurt
Dersi Veren(ler)Ömer Özgür Bozkurt
Asistan(lar)ı
Dersin AmacıDillerin sınıflandırılması ve tanımlanmasında en temel düzeyde bilgi sahibi olup, otomatları ve işlevlerini öğrenerek, programlama dilleri yeteneğinin geliştirilmesi.
Dersin İçeriğiAlfabe, Dil, Dilbilgisi, Dilbilgisi Sınıflar, Chomsky Sıradüzeni, Düzgün Dilbilgisi, Bağlamdan Bağımsız Dilbilgileri, CFG ve BNF Gösterimi, Ayrıştırma Ağacı,Soldan Özyineleme ve kaldırılması, Pompalama Teoremi, Karar verme problemi, Normal Biçimler, Yığıtlı Otomat, Bağlama Bağımlı Dilbilgileri, Doğrusal Bağımlı Otomatlar, Kısıtlamasız Diller, Turing makinesi, Curch Turing Hipotezi, Kodlar, Schutzenberger Kriteri, Sardinas Patterson Algoritması, Önek Kodlar, Sınırlı Gecikmeli Kodlar, Optimum Kodlar ve Huffman Algoritması
Ders Kitabı / Malzemesi / Önerilen Kaynaklar
  • John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman “Introduction to Automata Theory, Languages, and Computation 2E.”, Addison Wesley
  • Harrison, M.A.: Introduction to Formal Language Theory. Addison–Wesley
  • Ü. Yarımağan, "Özdevinirler (Otomatlar) Kuramı ve Biçimsel Diller, 2. Baskı", Seckin Yayinevi
Opsiyonel Program BileşenleriYok

Ders Öğrenim Çıktıları

  1. Öğrenciler dilbilgisi sınıflarına hakimdir.
  2. Öğrenciler yeni programlama dilleri ögrenme ve tasarlama konusunda sürekli öğrenme motivasyonuna sahiptir.
  3. Öğrenciler Sonlu ve yığıtlı otomatlar, Turing makineleri gibi kavramsal temel konulara hakimiyet sahibidir.
  4. Öğrenciler Dilbilgisi ile üretilebilecek kodların sınırlamalarını bilir.
  5. Öğrenciler Programlama dili olarak kullanılabilecek dilbilgilerini ayırt eder.

Haftalık Konular ve İlgili Ön Hazırlık Çalışmaları

HaftaKonularÖn Hazırlık
1Temel Kavramlar ve Ders Tanıtımı
2Dilbilgisi Türleri ve Chomsky SıradüzeniHarrison, M.A
3Düzgün DilbilgileriHopcroft
4Bağlamdan Bağımsız Dilbilgisi, Ayrıştırma AğacıHopcroft
5CFG GösterimiHopcroft
6BNF GösterimiHarrison, M.A
7Soldan Özyineleme ve Kaldırılması, Pompalama TeoremiHopcroft
8Ara Sınav 1
9ArasınavDers Notları
10Bağlama Bağımlı Dilbilgisi, Doğrusal Bağımlı OtomatlarHopcroft
11Kısıtlamasız Dilbilgileri, Turing MakineleriHopcroft
12Turing Makineleri, Church-Turing HipoteziHopcroft
13Kodlar, Schutzenberger KriteriHarrison, M.A
14Önek Kodlar, Sınırlı Gecikmeli KodlarHarrison, M.A
15Final

Değerlendirme Sistemi

EtkinliklerSayıKatkı Payı
Devam/Katılım
Laboratuar
Uygulama
Arazi Çalışması
Derse Özgü Staj
Küçük Sınavlar/Stüdyo Kritiği210
Ödev525
Sunum/Jüri
Projeler
Seminer/Workshop
Ara Sınavlar125
Final140
Dönem İçi Çalışmaların Başarı Notuna Katkısı
Final Sınavının Başarı Notuna Katkısı
TOPLAM100

AKTS İşyükü Tablosu

EtkinliklerSayıSüresi (Saat)Toplam İşyükü
Ders Saati133
Laboratuar
Uygulama
Arazi Çalışması
Sınıf Dışı Ders Çalışması112
Derse Özgü Staj
Ödev55
Küçük Sınavlar/Stüdyo Kritiği25
Projeler
Sunum / Seminer
Ara Sınavlar (Sınav Süresi + Sınav Hazırlık Süresi)115
Final (Sınav Süresi + Sınav Hazırlık Süresi)125
Toplam İşyükü :
Toplam İşyükü / 30(s) :
AKTS Kredisi :
Diğer NotlarYok