BİÇİMSEL DİLLER VE SOYUT MAKİNELER DERS TANITIM VE UYGULAMA BİLGİLERİ
| Kodu |
Dersin Adı |
Yarıyıl |
Süresi(T+U) |
Kredisi |
AKTS Kredisi |
| BIL403 |
BİÇİMSEL DİLLER VE SOYUT MAKİNELER |
5 |
3 |
3 |
6 |
DERSİN ÖĞRENME ÇIKTILARI (Öğrenciler, bu dersi başarı ile tamamladıklarında aşağıda belirtilen bilgi, beceri ve/veya yetkinlikleri gösterirler.) |
| Otomata Teorisi, Hesaplama kuramı ve Biçimsel dillere ilişkin temel kavramları ve modelleri öğrenecekler. |
| Sonlu durum makineleri, Aşağı itmeli makineler ve Turing makineleri gibi soyut makineler üzerine sorular çözebilecekler. |
| Biçimsel dillerin; düzenli ifadeler ve biçimsel gramerlerle gösterimlerini öğrenecekler. |
| Hesaplama sürecinin soyut modellerini anlayacaklar, bu modellerin güçleri ve sınırları hakkında fikir yürütebilecekler. |