Formale Sprachen

Worum geht es hier?

Sprachen, die in der Informatik zur computergerechten Darstellung von Information und zur Festlegung automatisierter Verarbeitung von Daten benutzt werden, müssen hohe Anforderungen an Präzision erfüllen. Syntax und Semantik solcher Sprachen werden daher präzise festgelegt.

Hier und in den folgenden Abschnitten geht es um die Syntax von Sprachen. Semantische Aspekte werden in Kapitel Compiler und Interpreter betrachtet. In diesem Abschnitt soll ein erster Schritt in die Beschreibung der Syntax einer Sprache getan werden. Wir betrachten dabei ganz einfache Sprachen, die sowohl aus der Informatik als auch aus dem Alltag stammen.

Hier lernst du ...

• ... warum man zwischen Syntax und Semantik bei Sprachen unterscheidet.
• ... wie man die Spracheinheiten einfacher Sprachen formal beschreibt.