Sprachen und Automaten

Worum geht es?

Sprachen werden in der Informatik vielfach benutzt. So muss Information stets in geeigneten Sprachen dargestellt werden, bevor sie in Form von Daten automatisiert verarbeitet werden kann. Die Verarbeitung der Daten selbst wird mit speziellen Programmiersprachen beschrieben. Alle diese Sprachen sind formale Sprachen, die präzise festgelegt sind.

Ziel dieses Kapitels ist es, Verfahren zur Präzisierung von Sprache aufzuzeigen. Es werden verschiedene Konzepte vorgestellt, die in der Informatik zur Sprachfestlegung zum Einsatz kommen.