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