Bu dersin amacı, öğrencilere soyut makine ve otomata kavramını açıklayarak bilgisayar sistemlerinin limitlerini anlamalarına yardımcı olmaktır

Otomata Teorisi: Temeller, biçimsel diller, Kleene kapalılık, Düzgün deyimler ve düzgün diller, Kleene teoremi, Çıktıya sahip sonlu özdevinirler, Meely ve Moore makinaları, ığın Otomata Teorisi, Post makinesi, Turing Teorisi : Turing makinaları, Durma problemi, saptanabilirlik problemi, hesaplanabilir fonksiyonlar, Church tezi