Σύνολα, Πράξεις με σύνολα, Νόμοι De Morgan, Αλφάβητα, συμβολοσειρές, πράξεις με συμβολοσειρές, γλώσσες, πράξεις με γλώσσες, Τεχνικές απόδειξης: Μαθηματική Επαγωγή, Αρχή Περιστεριώνα, Αρχή Διαγωνοποίησης, Κανονικά σύνολα, Πεπερασμένα αυτόματα: ντετερμινιστικά και μη ντετερμινιστικά, ισοδυναμία υπολογιστικών μοντέλων, Κανονικά σύνολα, κανονικές γλώσσες, ιδιότητες κλειστότητας, Κανονικές εκφράσεις, Ισοδυναμία κανονικών εκφράσεων και πεπερασμένων αυτομάτων, Γλώσσες που δεν είναι κανονικές, Pumping Lemma για κανονικές γλώσσες, Γραμματικές και γλώσσες χωρίς συμφραζόμενα, ιδιότητες κλειστότητας στην κλάση των γλωσσών χωρίς συμφραζόμενα, Αυτόματα στοίβας
Ισοδυναμία γραμματικών χωρίς συμφραζόμενα και αυτομάτων στοίβας, Σχέση κανονικών γλωσσών και γλωσσών χωρίς συμφραζόμενα, Συμπλήρωμα γλωσσών χωρίς συμφραζόμενα, Pumping Lemma για γλώσσες χωρίς συμφραζόμενα, Μηχανές Turing: εισαγωγή στο βασικό μοντέλο, ισοδυναμία παραλλαγών, Church Thesis.
