Εισαγωγή
Ως εισαγωγή στην υπολογιστική θεωρία περιλαμβάνονται:
- Εισαγωγή στη Θεωρία Αυτομάτων
- Κεντρικές Έννοιες της Θεωρίας Αυτομάτων
- Αλφάβητα
- Σειρές και γλώσσες
- Κανονικές Εκφράσεις
- Αντιπροσωπεύσεις Γράφων για τις Κανονικές Εκφράσεις
- Πεπερασμένα Αυτόματα
- Αιτιοκρατικά Πεπερασμένα Αυτόματα (Deterministic Finite Automata – DFA)
- Μη αιτιοκρατικά Πεπερασμένα Αυτόματα (Nondeterministic Finite Automata – NFA)
- Ισοδυναμία μεταξύ ΑΠΑ και ΜΠΑ
- Μετατροπή ενός NFA σε ένα DFA
- Πεπερασμένα Αυτόματα και Κανονικές Εκφράσεις
- Ιδιότητες Κλειστότητας Κανονικών Γλωσσών
- Εισαγωγή στην έννοια της γραμματικής
- Context – Free Γλώσσες & Γραμματικές (Γραμματικές Χωρίς Συμφραζόμενα)
- Pushdown Αυτόματα
- Μηχανές Μουρ
- Μηχανές Mealy
- Μηχανές Turing
- Διάφορες Μορφές & Είδη Αυτομάτων