COMP 4312 Hesaplama Kuramı – 6 AKTS

Giriş ve temel tanımlar, soyut otomatlar, sonlu durum makinelerinin kavramı; “Push-down” otomat, “Turing” makinesi, simgesel diller, bağlam bağımsız diller, otomat, diller ve dil bilgisi arasındaki ilişki, hesaplanabilirlik ve çözülebilirlik, bazı uygulamalar.

• Dr. Ahmet Hasan Koltuksuz
  • Dersin Bologna Sayfası (link)