Ders AdıKodu Yerel KrediAKTS Ders (saat/hafta)Uygulama (saat/hafta)Laboratuar (saat/hafta)
Biçimsel DillerBLM520437.5300
ÖnkoşullarYok
YarıyılGüz, Bahar
Dersin Diliİngilizce, Türkçe
Dersin SeviyesiYüksek Lisans
Dersin TürüSeçmeli @ Bilgisayar Mühendisliği ABD Bilgi Teknolojileri Yüksek Lisans Programı (Tezsiz, 2. Öğretim)
Seçmeli @ Bilgisayar Mühendisliği ABD Bilgi Teknolojileri Yüksek Lisans Programı (Tezsiz, 2. Öğretim, İngilizce)
Ders KategorisiUzmanlık/Alan 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)Banu Diri
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.
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 programlama dillerine temel teşkil eden dilbilgisi sınıflarını bilir.
  2. Öğrenciler yeni programlama dilleri ögrenme öğrenme motivasyonu edinir.
  3. Öğrenciler otomat kavramını ve türlerini bilir.
  4. Öğrenciler Dilbilgisi ile üretilebilecek kodların sınırlamalarını bilir.
  5. Öğrenciler Programlama dili olarak kullanılabilecek dilbilgilerini ayırt edebilir.

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

HaftaKonularÖn Hazırlık
1Temel Kavramlar ve Ders TanıtımıYarımağan ilgili bölüm
2Dilbilgisi Türleri ve Chomsky SıradüzeniHopcroft ilgili bölüm
3Düzgün DilbilgileriHopcroft ilgili bölüm
4Bağlamdan Bağımsız Dilbilgisi, Ayrıştırma AğacıYarımağan ilgili bölüm
5CFG GösterimiHopcroft ilgili bölüm
6BNF GösterimiHopcroft ilgili bölüm
7ArasınavGenel Tekrar
8Soldan Özyineleme ve Kaldırılması, Pompalama TeoremiYarımağan ilgili bölüm
9Karar Verme Problemi, Normal Biçimler, Yığıtlı OtomatHopcroft ilgili bölüm
10Bağlama Bağımlı Dilbilgisi, Doğrusal Bağımlı OtomatlarHopcroft ilgili bölüm
11Kısıtlamasız Dilbilgileri, Turing MakineleriHopcroft ilgili bölüm
12Turing MakineleriYarımağan ilgili bölüm
13ArasınavGenel Tekrar
14Church-Turing HipoteziHopcroft ilgili bölüm
15Genel TekrarGenel Tekrar
16Yılsonu SınavıGenel Tekrar

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
Ödev520
Sunum/Jüri
Projeler
Seminer/Workshop
Ara Sınavlar230
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 Saati143
Laboratuar
Uygulama
Arazi Çalışması
Sınıf Dışı Ders Çalışması146
Derse Özgü Staj
Ödev58
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)210
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