Πλήρης ελαχιστοποίηση πεπερασμένων αυτομάτων. Αλγεβρικές γραμματικές. Συντακτικά δένδρα. Αλγεβρικές γλώσσες. Ιδιότητες αλγεβρικών γλωσσών. Σχέση αλγεβρικών και αναγνωρίσιμων γλωσσών. Αυτόματα στοίβας.

Υποχρεωτικό Επιλογής

• Στοιχεία Θεωρίας Υπολογισμού των Η. Lewis, Χ. Παπαδημητρίου.
• Εισαγωγή στη Θεωρία Υπολογισμού του M. Sipser.

Θεωρητική Πληροφορική Ι