2.1. Reguläre Ausdrücke
2.2. Endliche Automaten
2.3. Nichtdeterministische endliche Automaten
2.4. Die Potenzmengenkonstruktion
2.6. Minimale DFAs und der Satz von Myhill-Nerode
2.7. Berechnung des minimalen DFA
2.8. Umwandlung eines Automaten in einen regulären Ausdruck II
3.1 Kontextfreie Sprachen und Grammatiken
3.2 Ableitungsbäume
3.4 Entscheidungsprobleme für CFGs
3.8 Das Pumping-Lemma für CFLs
3.9 Kellerautomaten