Otomatlar ve Diller Teorisi (INF323) | GSÜ - AKTS Bilgilendirme Sistemi

İçerik

Dersin Amacı

Bu ders, öğrencilere diller kuramına ve otomatlara ait temel bilgilerin aktarılmasını hedefler. Bu bağlamda, ders içeriğinde biçimsel diller, gramerler, düzenli ifadeler ve otomatlar ele alınmaktadır. Sentaks analizi ve gramer çözümleme, sonlu durum makine kavramları ve kullanılan yöntemler üzerine detaylı bilgi verilmektedir. Derste ayrıca hesaplanabilirlik, karar alma ve karmaşıklık kuramı hakkında öğrencilere temel bilgiler verilmesi de hedeflenmektedir.

Dersin İçeriği

Formel Diller
Dilbilgisi, Chomsky Dilbilgisi
Dilbilgisi ve otomatlar
Düzgün ifadeler
Kararlı sonlu otomatlar (AFD)
Belirsiz otomatlar (AFN)
Ara sınav
Epsilon geçişli otomatlar (EPS)
Denklik ve AFD, AFN, AFN-EPS
AFD'nin basitleştirilmesi
"Lemme de la pompe" otomatı
Düzenli dillerin özellikleri
Karar verme ve hesaplama mekanizmaları

Dersin Öğrenme Çıktıları

Bu dersi başarılı ile tamamlayan öğrenciler,
1. Formal dilleri, sonlu durum makinelerini, deterministik ve belirsiz otomatları, düzgün ifadeleri hatırlayabilime ve açıklayabilme becerisi,
2. Bilgisayar mühendisliği kapsamında karşılan problemlere sonlu durum makine modelini uygulayabilme yeteneği,
3. Düzenli ifadeleri ve bu ifadelerden elde edilen gramerleri tanıma yetisi,
4. Karar verme mekanizması modelleyebilme becerisi, edineceklerdir.

Öğretim Yöntemleri

Sunumlar
Yüz yüze öğretim
Pratik yapma

Kaynaklar

1. Sipser, Michael. Introduction to the Theory of Computation. Vol. 2. Boston: Thomson Course Technology, 2006.
2. Linz, Peter. An introduction to formal languages and automata. Jones & Bartlett Publishers, 2011.
3. Martin, John C. Introduction to Languages and the Theory of Computation. Vol. 4. NY, USA: McGraw-Hill, 1991.
4. Jussien, Narendra. Logique (s), langages formels et complexité pour l'informatique. Hermes Sciences, 2006.

Yeterlilik İlişkisi

Numara	Program Yeterlilikleri	Puan
Numara	Program Yeterlilikleri	1	2	3	4	5
1	Matematik, fizik ve mühendislik bilimlerine özgü konularda yeterli bilgi birikimi; bu alanlardaki kuramsal ve uygulamalı bilgileri, mühendislik problemlerinin modellenmesi ve çözümünde kullanabilme becerisi.
2	Karmaşık bilgisayar mühendisliği problemlerini saptama, tanımlama, formüle etme ve çözme becerisi; bu amaçla uygun analiz ve modelleme yöntemlerini seçme ve uygulama becerisi.					X
3	Yazılımsal veya donanımsal karmaşık bir sistemi, süreci veya donanımı 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.					X
5	Analitik düşünce ile bir sistemi, sistem bileşenini ya da süreci analiz etme, modelleme, deney tasarlama ve yapma, veri toplama, çözüm algoritmaları üretebilme, uygulamaya alma ve geliştirme becerileri.
6	Disiplin içi ve çok disiplinli takımlarda etkin biçimde çalışabilme becerisi; bireysel çalışma becerisi.
7	Türkçe sözlü ve yazılı etkin iletişim kurma becerisi; en az iki yabancı dil bilgisi; etkin rapor yazma ve yazılı raporları anlama, yazılım ve donanım tasarımını, gerekirse teknik resim metotları kullanarak raporlayabilme, etkin sunum yapabilme becerisi.
8	Bilgiye erişebilme ve bu amaçla kaynak araştırması yapabilme, veri tabanları ve diğer bilgi kaynaklarını kullanabilme becerisi
9	Yaşam boyu öğrenmenin gerekliliği bilinci; kendini sürekli yenileme becerisi.
10	Mesleki etik ilkelerine uygun davranma, mesleki sorumluluk bilinci; mühendislik uygulamalarında kullanılan standartlar hakkında bilgi.
11	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.