Ενότητα 1: Αυτόματα, Γλώσσες, Τυπικές Γραμματικές
- Διάλεξη 3/10/2025: Εισαγωγή, πεπερασμένα αυτόματα, παραδείγματα, ντετερμινιστικά αυτόματα (DFA). Διαφάνειες: 1-21.
- Διάλεξη 8/10/2025: Μη ντετερμινιστικά αυτόματα (NFA, NFAε). Ισοδυναμία NFA και DFA. Μέθοδος μετατροπής NFA σε DFA. Διαφάνειες: 22-35.
- Διάλεξη 10/10: Μέθοδος μετατροπής NFA σε DFA. Ελαχιστοποίηση DFA. Διακρίσιμες και ισοδύναμες καταστάσεις. Παράδειγμα αλγορίθμου. Διαφάνειες: 36-56.
- Διάλεξη 15/10: Ελαχιστοποίηση DFA. Θεωρία γλωσσών και γραμματικών. Τυπικες γραμματικές, Ιεραρχία γραμματικών Chomsky. Διαφάνειες: 57-68.
- Διάλεξη 17/10: Κανονικές Γραμματικές, Κανονικές Παραστάσεις, Ισοδυναμία Κανοικών Παραστάσεων και Αυτομάτων (1ο μέρος). Διαφάνειες: 69-76.
- Διάλεξη 22/10: Ισοδυναμία Κανοικών Παραστάσεων και Αυτομάτων, Ιδιότητες κλειστότητας, Γινόμενο Αυτομάτων Διαφάνειες, Λήμμα άντλησης. Διαφάνειες: 77-90.
- Διάλεξη 24/10: Λήμμα άντλησης, Γραμματικές χωρίς συμφραζόμενα, Συντακτικά δένδρα, Αυτόματα στοίβας. Διαφάνειες: 91-109.
- Διάλεξη 29/10: Αυτόματα στοίβας, γραμματικές με συμφραζόμενα, γενικές γραμματικές, μηχανές Turing. Διαφάνειες: 109-119.
