Diese Vorlesung befasst sich mit endlichen Automaten in Ergänzung der Grundvorlesung "Einführung in die theoretische Informatik". Insbesondere werden die Minimierung endlicher Automaten, Automaten mit Ausgabe sowie Automaten für unendliche Wörter behandelt. Um die Nützlichkeit endlicher Automaten aufzuzeigen, wird z.B. kurz eine Verbindung zur Logik hergestellt.
