Theoretische Informatik, Woche 7: Die Chomsky-Hierarchie erklimmen: Von Typ-2 zu Typ-0