Worum geht es hier?

Formale Sprachen sind ein zentraler Baustein der theoretischen Informatik. Neben der Sprachdefinition ist dabei auch immer der Aspekt der automatisierten Verarbeitung dieser formalen Sprachen von Bedeutung. Daher werden diese beiden Themen in der theoretischen Informatik - und in diesem Schulbuch - zusammen betrachtet: Sprachen und Automaten.

Zuerst wird es eine Einführung geben, was man überhaupt unter formalen Sprachen versteht. Anschließend werden wir verschiedene Möglichkeiten kennen lernen, wie man formale Sprachen beschreiben und erkennen kann. Im letzten Schritt werden wir uns dann damit beschäftigen, dass man diese Sprachen unterschiedlichen Sprachklassen zuordnen kann und was dies für Folgen hat.