Εισαγωγή στην Θεωρία Υπολογισμού (ΗΥ311)

Ενότητες

Ασυμφραστικές Γλώσσες Διαγνωσιμότητα
Δόγμα CHURCH-TURING

Μηχανές Turing, Παραλλαγές μηχανών Turing, Ο ορισμός του αλγορίθμου.