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