Eskişehir Teknik Üniversitesi Eskişehir Teknik Üniversitesi
  • Kurumsal
  • Akademik Programlar
  • Öğrenci İçin Bilgi
  • English
Program Hakkında Eğitim Amaçları Program Yeterlilikleri (Çıktıları) Dersler - AKTS Kredileri Alan Yeterlilikleri Ders - Prog. Yeterlilik İlişkileri Alan & Prog. Yeterlilik İlişkileri Ders - Sürdürülebilir Kalkınma Amaçları İlişkisi
  • Mühendislik Fakültesi
  • Bilgisayar Mühendisliği Bölümü (İngilizce)
  • Dersler - AKTS Kredileri
  • Formal Languages and Automata Theory (Biçimsel Diller ve Otomata Teorisi)
  • Tanıtım
  • Tanıtım
  • Öğrenme Çıktıları
  • Program Çıktılarına Katkısı
  • Öğrenme Çıktısının Program Çıktılarına Katkısı

Ders Bilgileri

Ders Kodu - Ders Adı BİM2008 - Formal Languages and Automata Theory (Biçimsel Diller ve Otomata Teorisi)
Ders Türü Zorunlu Dersler
Ders Dili İngilizce
Teori + Uygulama 3+0
AKTS 4.5
Öğretim Elemanları
Dersin Veriliş Biçimi Yüz yüze
Dersin Önkoşulları Bu dersin önkoşulu bulunmamaktadır.
Önerilen Dersler BİM122 Kesikli Matematiksel Yapılar
Zorunlu ya da Önerilen Kaynaklar Introduction to the Theory of Computation, Michael SipserAutomata, Formal Languagers, and Turing Machines, Emre Sermutlu
Okuma Listesi Introduction to the Theory of Computation, Michael SipserAutomata, Formal Languagers, and Turing Machines, Emre Sermutlu
Değerlendirme Arasınav, Kısa Sınav, Final Sınavı
Staj & Uygulama Bu dersin uygulaması bulunmamaktadır.
Sürdürülebilir Kalkınma Amaçları

Ders İçeriği

Haftalar Konular
1. hafta Giriş
2. hafta Belirli Sonlu Otomatlar
3. hafta Belirsiz Sonlu Otomatlar
4. hafta Düzenli Diller
5. hafta Düzenli İfadeler
6. hafta Pompalama Lemması
7. hafta Ara Sınav
8. hafta Bağlamdan Bağımsız Gramerler
9. hafta Farklı Gramer Biçimleri
10. hafta Yığınlı Otomatlar
11. hafta Bağlamdan Bağımsız Olmayan Diller
12. hafta Turing Makineleri
13. hafta Turing Makineleri
14. hafta Dersin Genel Tekrarı

Öğretim Yöntem ve Teknikleri

  • Öğretim Yöntemleri
  • Anlatım
  • Soru-Yanıt
  • Uygulama - Alıştırma
  • Sorun/Problem Çözme
  • Öğretim Yeterlilikleri
  • Sorgulayan
  • Yaratıcı
  • Soyut analiz ve sentez yapma
  • Problem çözme
  • Bağımsız çalışma
  • Temel matematik becerileri
  • Karar verme becerisi

Ölçme ve Değerlendirme

Değerlendirme Yöntemi ve Geçme Kriterleri
Sayısı Yüzde (%)
Toplam (%) 0
  • Kurumsal
  • İsim ve Adres
  • Akademik Takvim
  • Yönetim Kadrosu
  • Kurum Hakkında
  • Akademik Programlar
  • Genel Kabul Şartları
  • Önceki Öğrenmenin Tanınması
  • Kayıt İşlemleri
  • AKTS Kredi Sistemi
  • Akademik Danışmanlık
  • Akademik Programlar
  • Doktora / Sanatta Yeterlik
  • Yüksek Lisans
  • Lisans
  • Önlisans
  • Açık ve Uzaktan Eğitim Sistemi
  • Öğrenci İçin Bilgi
  • Şehirde Yaşam
  • Konaklama
  • Beslenme Olanakları
  • Tıbbi Olanaklar
  • Engelli Öğrenci Olanakları ı
  • Sigorta
  • Maddi Destek
  • Öğrenci İşleri Daire Başkanlığı
  • Öğrenci İçin Bilgi
  • Öğrenim Olanakları
  • Uluslararası Programlar r
  • Değişim Öğrencileri için Pratik Bilgiler
  • Dil Kursları
  • Staj
  • Sosyal Yaşam ve Spor Olanakları
  • Öğrenci Kulüpleri