1.1) Ιεραρχία Συναρτήσεων 1.2) Αναδρομικές Σχέσεις (Θεώρημα Κυριαρχίας, Μέθοδος Επανάληψης, Εμπειρικοί Κανόνες 3.1) Κανονικές Εκφράσεις 3.2) Κανονική Έκφραση σε ΜΠΑε 3.3) 10*11*: Κανονική Έκφραση, ΜΠΑ, ΝΠΑ 3.4) Αλγόριθμος Κλειστότητας της Τομής σε Κανονικές Γλώσσες