BYM448 Biçimsel Diller ve Otomata TeorisiKurumsal BilgilerAkademik Programlar Yazılım MühendisliğiÖğrenciler İçin BilgilerDiploma EkiErasmus BeyanıUlusal Yeterlilikler
Yazılım Mühendisliği

Önizleme

Lisans TYYÇ: 6. Düzey QF-EHEA: 1. Düzey EQF-LLL: 6. Düzey

Course General Introduction Information

Ders Kodu: BYM448
Course Name: Biçimsel Diller ve Otomata Teorisi
Ders Yarıyılı: Bahar
Ders Kredileri:
AKTS
6
Öğretim Dili:
Ders Koşulu:
Ders İş Deneyimini Gerektiriyor mu?: Hayır
Dersin Türü: Alan Seçmeli
Dersin Seviyesi:
Lisans TYYÇ:6. Düzey QF-EHEA:1. Düzey EQF-LLL:6. Düzey
Dersin Veriliş Şekli: Yüz yüze
Dersin Koordinatörü: Dr.Öğr.Üyesi KEMAL ÇAĞRI SERDAROĞLU
Dersi Veren(ler): Dr. Öğrt. Üyesi Nazlı Tokatlı
Dersin Yardımcıları:

Dersin Amaç ve İçeriği

Dersin Amacı: Bu dersin amacı, öğrencilere kesikli hesap işlemlerini yapan sistemleri tasarlayıp analiz edebilmeleri için gerekli teorik bilgilerin sağlanmasıdır.
Dersin İçeriği: Soyut makinalar ve bu makinalara karşılık düşen biçimsel diller arecılığı ile kurulan bilgisayarların matematiksel modellerinin teorisi. Biçimsel diller, gramerler, sonlu durum makinaları, düzenli kümeler, düzenli ifadeler,sonlu durum modellerinin sınırları, itmeli otomat, bağlam duyarsız diller, Turing makinaları, etkin hesaplanabilirlik, çözülemeyen karar problemleri.

Öğrenme Kazanımları

Bu dersi başarıyla tamamlayabilen öğrenciler;
1) Soyut makine modellerini ve biçimsel dilleri anlamak için gerekli bilgi.
2) Çeşitli biçimsel dilleri kabul edebilecek soyut makine modellerini tasarlama becerisi.

Ders Akış Planı

Hafta Konu Ön Hazırlık
1) Giriş, Kanıt Yöntemleri Ders Kitabı
2) Sonlu Otomatlar Ders Kitabı
3) Düzenli İfadeler Ders Kitabı
4) Düzenli Dillerin Özellikleri Ders Kitabı
5) Düzenli Dillerin Karar Özellikleri Ders Kitabı
6) Bağlamdan Bağımsız Gramerler ve Belirsizlik Ders Kitabı
7) Vize Sınavı Ders Kitabı
8) İtmeli Otomatlar Ders Kitabı
9) İtmeli Otomatlar ve Bağlamdan Bağımsız Gramerlerin Denkliği Ders Kitabı
10) Bağlamdan Bağımsız Gramerler Üzerindeki İşlemler Ders Kitabı
11) Bağlamdan Bağımsız Gramerlerin Kapalılık Özellikleri Ders Kitabı
12) Turing Makinaları ve Karmaşıklık Ders Kitabı
13) Farklı Turing Makine Modelleri Ders Kitabı
14) Karar Verilen ve Verilemeyen Problemler Ders Kitabı

Kaynaklar

Ders Notları / Kitaplar: Automata Theory, Languages and Computation, by John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman. (Pearson – 3rd Edition)
Diğer Kaynaklar: Automata Theory, Languages and Computation, by John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman. (Pearson – 3rd Edition)

Ders - Öğrenme Kazanımı İlişkisi

Etkisi Yok 1 En Düşük 2 Orta 3 En Yüksek
       
Dersin Program Kazanımlarına Etkisi Katkı Payı
1) Matematik, fen bilimleri ve yazılım mühendisliği disiplinine özgü konularda yeterli bilgi birikimi; bu alanlardaki kuramsal ve uygulamalı bilgileri, karmaşık mühendislik problemlerinde kullanabilme becerisi.
2) Karmaşık mühendislik problemlerini saptama, tanımlama, formüle etme ve çözme becerisi; bu amaçla uygun analiz ve modelleme yöntemlerini seçme ve uygulama becerisi.
3) Karmaşık bir sistemi, süreci, cihazı veya ürünü gerçekçi kısıtlar ve koşullar altında, belirli gereksinimleri karşılayacak şekilde tasarlama becerisi; bu amaçla modern tasarım yöntemlerini uygulama becerisi.
4) Mühendislik uygulamalarında karşılaşılan karmaşık problemlerin analizi ve çözümü için gerekli olan modern teknik ve araçları geliştirme, seçme ve kullanma becerisi; bilişim teknolojilerini etkin bir şekilde kullanma becerisi.
5) Karmaşık mühendislik problemlerinin veya disipline özgü araştırma konularının incelenmesi için deney tasarlama, deney yapma, veri toplama, sonuçları analiz etme ve yorumlama becerisi.
6) Disiplin içi ve çok disiplinli takımlarda etkin biçimde çalışabilme becerisi; bireysel çalışma becerisi.
7) Yaşam boyu öğrenmenin gerekliliği bilinci; bilgiye erişebilme, bilim ve teknolojideki gelişmeleri izleme ve kendini sürekli yenileme becerisi.
8) Türkçe sözlü ve yazılı etkin iletişim kurma becerisi; en az bir yabancı dil bilgisi, etkin rapor yazma ve yazılı raporları anlama, tasarım ve üretim raporları hazırlayabilme, etkin sunum yapabilme, açık ve anlaşılır talimat verme ve alma becerisi.
9) Etik ilkelerine uygun davranma, mesleki ve etik sorumluluk bilinci; mühendislik uygulamalarında kullanılan standartlar hakkında bilgi.
10) Proje yönetimi, risk yönetimi ve değişiklik yönetimi gibi, iş hayatındaki uygulamalar hakkında bilgi; girişimcilik, yenilikçilik hakkında farkındalık; sürdürülebilir kalkınma hakkında bilgi.
11) Mühendislik uygulamalarının evrensel ve toplumsal boyutlarda sağlık, çevre ve güvenlik üzerindeki etkileri ve çağın mühendislik alanına yansıyan sorunları hakkında bilgi; mühendislik çözümlerinin hukuksal sonuçları konusunda farkındalık.
12) Yazılım sistemlerinin analizi, tasarımı, doğrulanması, değerlendirilmesi, gerçekleştirilmesi, uygulanması ve bakımı konularında yeterli beceri

Öğrenme Etkinliği ve Öğretme Yöntemleri

Anlatım
Bireysel çalışma ve ödevi
Ödev
Problem Çözme

Ölçme ve Değerlendirme Yöntemleri ve Kriterleri

Yazılı Sınav (Açık uçlu sorular, çoktan seçmeli, doğru yanlış, eşleştirme, boşluk doldurma, sıralama)
Ödev
Raporlama

Ölçme ve Değerlendirme

Yarıyıl İçi Çalışmaları Aktivite Sayısı Katkı Payı
Küçük Sınavlar 3 % 5
Ödev 5 % 30
Ara Sınavlar 1 % 25
Final 1 % 40
Toplam % 100
YARIYIL İÇİ ÇALIŞMALARININ BAŞARI NOTU KATKISI % 60
YARIYIL SONU ÇALIŞMALARININ BAŞARI NOTUNA KATKISI % 40
Toplam % 100

İş Yükü ve AKTS Kredisi Hesaplaması

Aktiviteler Aktivite Sayısı Aktiviteye Hazırlık Aktivitede Harçanan Süre Aktivite Gereksinimi İçin Süre İş Yükü
Ders Saati 13 3 39
Sınıf Dışı Ders Çalışması 14 6 84
Ödevler 5 7 35
Küçük Sınavlar 3 2 6
Ara Sınavlar 1 2 2
Final 1 2 2
Toplam İş Yükü 168