Προκαταρκτικά: Σύνολα, σχέσεις, αλγόριθμοι. Ρυθμός αύξησης συνάρτησης. Αλφάβητα και τυπικές γλώσσες. Πεπερασμένα αυτόματα: Πλήρη, προσδιοριστά, μη-προσδιοριστά, ισοδυναμία. Αναγνωρίσιμες Γλώσσες. Κριτήριο για τη μη-αναγνωρισιμότητα γλωσσών. Ρητές γλώσσες. Αλγόριθμοι για την ελαχιστοποίηση αυτομάτων. Αποτελέσματα αποφασιμότητας.

Υποχρεωτικό

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

–