Willkommen auf dem WWW-Server des Arbeitsbereichs Theoretische Informatik / Formale Sprachen

Was sind Formale Sprachen?

Eines der ursprünglichen Ausgangsgebiete der Theoretischen Informatik ist neben der Rekursiontheorie die Theorie der formalen Sprachen. Wie in eigentlich allen Teilgebieten der theoretischen Informatik, so geht es auch im Falle der Theorie formaler Sprachen um die endliche Beschreibung möglicherweise unendlicher Objekte; hier um die formale exakte Kodierung von Problemen und Algorithmen. Hierbei stehen sich die Wünsche nach effizienter Analysierbarkeit und nach prägnanter Beschreibungsfähigkeit oft ausschließend gegenüber.