Ιδιότητες κλειστότητας της κλάσης των αναγνωρίσιμων γλωσσών μέσω ομομορφισμών. Μοναδιακή λογική δεύτερης τάξης (MSO logic). Εκφραστική ισοδυναμία αυτομάτων και προτάσεων MSO λογικής. Λογική πρώτης τάξης. Γραμμική χρονική λογική (LTL). Εκφραστική ισοδυναμία λογικής πρώτης τάξης και γραμμικής χρονικής λογικής. Εφαρμογές στον έλεγχο μοντέλων.