Das Thema dieser Vorlesung ist eine Einführung in die wichtigsten Gebiete der theoretischen Informatik:
Die Theorie der Formalen Sprachen beschäftigt sich mit Methoden zur Überprüfung der syntaktischen Korrektheit von Computerprogrammen, d.h. ob ein Programm nur erlaubte Zeichenfolgen enthält.
Die Berechenbarkeitstheorie befasst sich mit der Formalisierung des Algorithmusbegriffs. Ein Algorithmus ist ein Verfahren, das einem Computerprogramm zugrundeliegt.