Themen des Lehrstuhls Theoretische Informatik/Formale Sprachen

Die Theoretische Informatik behandelt die mathematischen Grundlagen und formale Methoden der Informatik. Wie der Name des Lehrstuhls andeutet, spielen die Formalen Sprachen dabei eine zentrale Rolle.

Zentrale Begriffe der Theoretischen Informatik:

Wir beschäftigen uns mit folgenden Themen:

Mehr zu den einzelnen Gebieten finden Sie unter Forschung.