İşleminiz Devam Ediyor.
Lütfen Bekleyiniz...
Dersin Ayrıntıları
KTO KARATAY ÜNİVERSİTESİ
Mühendislik ve Doğa Bilimleri Fakültesi
Bilgisayar Mühendisliği Programı
Ders Bolognaları
Ders Kodu Ders Adı Yıl Dönem Yarıyıl T+U+L Kredi AKTS
05061102 Otomata Teorisi Ve Formal Diller 3 Bahar 6 3+0+0 3 5
Dersin Türü Seçmeli
Dersin Düzeyi Lisans (TYYÇ: 6. Düzey / QF-EHEA: 1. Düzey / EQF-LLL: 6. Düzey)
Dersin Dili Türkçe
Yöntem ve Teknikler -
Dersin Veriliş Şekli Yüz Yüze
Ön Koşullar -
Dersin Koordinatörü -
Dersi Veren(ler) Doç. Dr. Ali ÖZTÜRK
Yardımcı(lar) -
Dersin Öğretim Eleman(lar)ı
Adı Soyadı Oda No. E-Posta Adresi Dahili Görüşme Saatleri
Doç. Dr. Ali ÖZTÜRK A-124 [email protected] 7585 Pazartesi
14.00-15.00
Dersin İçeriği
Classification of automata and formal languages. Finite state machines: Mealy ve Moore models, regular languages and their limitations. Tape automata. Push-down automata and context-free grammars. Normal-form grammars. Context-sensitive languages. Turing machines, halting problem and unsolvability. Recursive functions.
Dersin Amacı
A broad understanding of the finite state machine concepts. A broad understanding of syntax analysis and parsing concepts and methods. A knowledge of the basis of compiler design
Dersin Alan Öğretimini Sağlamaya Yönelik Katkısı
Temel Meslek Dersleri
Uzmanlık / Alan Dersleri
Destek Dersleri X
Aktarılabilir Beceri Dersleri
Beşeri, İletişim ve Yönetim Becerileri Dersleri
Dersin Öğrenim Kazanımlarının Program Kazanımları ile Olan İlişkileri
İlişki Düzeyleri
En Düşük Düşük Orta Yüksek En Yüksek
1 2 3 4 5
# Program Yeterlilikleri Düzey
P1 Matematik, fen bilimleri ve ilgili mühendislik disiplinine özgü konularda yeterli bilgi birikimi; bu alanlardaki kuramsal ve uygulamalı bilgileri, karmaşık mühendislik problemlerinde kullanabilme becerisi 5
P4 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 4
P9 Etik ilkelerine uygun davranma, mesleki ve etik sorumluluk bilinci; mühendislik uygulamalarında kullanılan standartlar hakkında bilgi 3
Dersin Öğrenim Kazanımları
Bu dersin başarılı bir şekilde tamamlanmasıyla öğrenciler şunları yapabileceklerdir:
No Öğrenme Çıktıları Prog. Yet. İlişkisi Ölçme Yöntemi **
Ö1 En az bir yapısal programlama dili bilgisi. P.3.11 7
Ö2 Bilgisayar mühendisliği proje tasarımı yapmak. P.5.5 7
Ö3 Alan bilgisini yazılı ve sözlü olarak aktarabilme becerisi P.7.11 1
** Yazılı Sınav: 1, Sözlü Sınav: 2, Ev Ödevi: 3, Lab./Sınav: 4, Seminer/Sunum: 5, Dönem Ödevi: 6, Uygulama: 7
Dersin Haftalık İçeriği
Hafta Konu
1 Genel bakış
2 İndüksiyon, İlişkiler, Sayılabilirlik, Köşegenleştirme
3 Biçimsel Dillere Giriş
4 Sonlu Otomata
5 Düzenli Expersiyonlar
6 Düzenli dillerin özellikleri
7 Ara Sınav
8 Bağlam Serbest diller
9 Aşağı itme Automata
10 Lemma ve CFL`nin diğer özelliklerini pompalamak
11 Bağlamsız serbest dil
12 Turing Makineleri
13 Uygulamalar
14 Final Sınavı
Ders Kitabı veya Malzemesi
Kaynaklar Introduction to Computer Theory, by Daniel I.A. Cohen, (2nd Edition), Wiley, (1997)
Değerlendirme Yöntemi ve Geçme Kriterleri
Yarıyıl Çalışmaları Sayısı Katkı (%)
Devam - -
Laboratuvar - -
Uygulama 1 10 (%)
Derse Özgü Staj (Varsa) - -
Ödev - -
Sunum - -
Projeler - -
Kısa sınav (Quiz) - -
Ara Sınavlar 1 40 (%)
Yarıyıl Sonu Sınavı 1 50 (%)
Toplam 100 (%)
AKTS / Çalışma Yükü Tablosu
Etkinlik Sayı Süre Toplam İş Yükü (Saat)
Ders Hafta Sayısı ve Saati 14 3 42
Sınıf Dışı Ders Çalışma Süresi (Ön çalışma, Kütüphane, Pekiştirme) 14 3 42
Ara Sınav 1 32 32
Kısa Sınav 0 0 0
Ödev 0 0 0
Uygulama 0 0 0
Laboratuvar 0 0 0
Proje 0 0 0
Atölye 0 0 0
Sunum/Seminer Hazırlama 0 0 0
Alan Çalışması 0 0 0
Dönem Sonu Sınavı 1 34 34
Diğer 0 0 0
Toplam İş Yükü: 150
Toplam Yük / 30 5
Dersin AKTS Kredisi: 5
Ders - Öğrenme Çıktıları İlişkisi
İlişki Düzeyleri
En Düşük Düşük Orta Yüksek En Yüksek
1 2 3 4 5
# Öğrenme Çıktıları P3 P5 P7
Ö1 En az bir yapısal programlama dili bilgisi. 4 - -
Ö2 Bilgisayar mühendisliği proje tasarımı yapmak. - - -
Ö3 Alan bilgisini yazılı ve sözlü olarak aktarabilme becerisi - - -