1.1) Ιεραρχία Συναρτήσεων Πολυπλοκότητας 1.2) Αναδρομικές Σχέσεις (Θεώρημα Κυριαρχίας) 3.1) Κανονικές Εκφράσεις σε ΜΠΑ 3.2) 00*1*+1: ΜΠΑε σε ΜΠΑ σε ΝΠΑ 3.3) (0+1)*11(0+1)*: ΜΠΑ σε ΝΠΑ. Απλοποίηση ΝΠΑ. Απόδειξη Ελάχιστου Πλήθους Καταστάσεων 4.1) Γραμματικές Χωρίς Συμφραζόμενα 4.2) Διακριση Κανονικών Γλωσσών και Γλωσσών Χωρίς Συμφραζόμενα