Υπολογισιμότητα και Πολυπλοκότητα (Μοντέλα Υπολογισμού, Τυπικές Γλώσσες και Αυτόματα)