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