Wiederholung
Anwendung: Model-Checking
Automaten mit Ausgabe
Syntax von GSMs (verallgemeinerte sequentielle Maschinen)
Läufe von GSMs
Semantik von GSMs
Nicht GSM-berechenbare Funktionen
Kontextfreie Sprachen
Kontextfreie Grammatiken
Notation
Ableitungen