Vorlesung
- Alphabet, Wort, Sprache, Grammatik
- Regulärer Ausdruck, reguläre Sprache
- Nichtdeterministischer endlicher Automat
- Kontextfreie Sprachen und Stack-Automaten
- Recursive-Descent-Parser / -Übersetzer
- Turing-Maschine, Berechenbarkeit
- Komplexitätstheorie
Übungen / Labor
In der ersten Semesterhälfte werden wöchentlich Übungsaufgaben gestellt, die korrigiert werden und in gemeinsamen Übungsstunden besprochen werden.
In der zweiten Semesterhälfte wird in Laborübungen ein Recursive-Descent-Übersetzer für arithmetische Ausdrücke gebaut.