Ι. ΠΡΟΚΑΤΑΡΚΤΙΚΑ
- Γράφοι & Δέντρα
- Αλφάβητα & Γλώσσες
|
ΙΙ. ΚΑΝΟΝΙΚΕΣ ΓΛΩΣΣΕΣ & ΠΕΠΕΡΑΣΜΕΝΑ ΑΥΤΟΜΑΤΑ
- Κανονικές Εκφράσεις & Κανονικές Γλώσσες
- Ντετερμινιστικά Πεπερασμένα Αυτόματα
- Μη Ντετερμινιστικά Πεπερασμένα Αυτόματα
- Ιδιότητες Κανονικών Γλωσσών (Λήμμα της Άντλησης κλπ.)
|
ΙΙΙ. ΓΛΩΣΣΕΣ ΑΝΕΞΑΡΤΗΤΕΣ ΣΥΜΦΡΑΖΟΜΕΝΩΝ & ΑΥΤΟΜΑΤΑ ΣΤΟΙΒΑΣ
- Γραμματικές Ανεξάρτητες Συμφραζομένων
- Κανονικές Γραμματικές
- Απλούστευση Γραμματικών
- Ιδιότητες Γλωσσών Ανεξαρτήτων Συμφραζομένων (Λήμμα της Άντλησης κλπ.)
- Αυτόματα Στοίβας
- Αυτόματα Στοίβας & Γραμματικές Ανεξάρτητες Συμφραζομένων
- Συντακτική Ανάλυση (Δημητρίου)
|
IV. ΜΗΧΑΝΕΣ TURING (Χαλάτση)
- Ορισμός της Μηχανής Turing
- Σύνθεση Μηχανών Turing
- Υπολογισμοί με Μηχανές Turing
- Επεκτάσεις της Μηχανής Turing
- Μη Ντετερμινιστικές Μηχανές Turing
- Γραμματικές
- Αριθμητικές Συναρτήσεις
|