Dieser Kurs beschäftigt sich mit Fragen der theoretischen Informatik. Hier sind es vor allem eine Einführung in endliche Automaten bzw. Kellerautomaten und Turingmaschinen. Es wird versucht, die Äquivalenz von Automaten zu formalen Sprachen aufzuzeigen.