Θεωρία Υπολογισμού
Ενότητες
Υπολογισμοί Μηχανών Turing - Αναδρομικές Γλώσσες
Υπολογισμοί Μηχανών Turing - Αναδρομικές Γλώσσες: Υπολογισμοί με Μηχανές Turing. Γλώσσες που αποφασίζονται και αναδρομικές). Αναδρομικές συναρτήσεις. Αναδρομικά απαριθμήσιμες γλώσσες.
Λέξεις Κλειδιά: Μηχανές Turing, αναδρομικές γλώσσες, αναδρομικά απαριθμήσιμες γλώσσες