☰
Υπολογιστική θεωρία
Εισαγωγή
Θεωρία συνόλων
Θεωρία γράφων
Αλφάβητα
Γλώσσες
Γραμματικές
Ντεντερμινιστικό πεπερασμένο αυτόματο
Μη ντεντερμινιστικό πεπερασμένο αυτόματο
Μετατροπή ΜΝΠΑ σε ΝΠΑ
Ελαχιστοποίηση ΝΠΑ
Ισοδυναμία αυτόματων
Mealy και Moore Μηχανές
Regular Expressions
Μετατροπή ΚΕ σε ΠΑ
Αυτόματα στοίβας (pushdown)
Μηχανές Turing