Formale Sprachen kennenlernen
Worum geht es hier?
E-Mail-Adressen, römische Zahlen und Bilddateien folgen jeweils eigenen Regeln. Sie lassen sich als formale Sprachen auffassen: Eine solche Sprache legt fest, welche Zeichenfolgen dazugehören. Doch wie beschreibt man die möglichen Zeichen und Wörter genau? Und worin unterscheiden sich der korrekte Aufbau einer Zeichenfolge und ihre Bedeutung?
In diesem Kapitel lernst du die Grundbegriffe kennen, mit denen formale Sprachen beschrieben werden. Du untersuchst Alphabete als Vorräte an Symbolen, Wörter als endliche Folgen dieser Symbole und Sprachen als Mengen ausgewählter Wörter.
Damit erhältst du die Grundlage, um formale Sprachen später präzise zu beschreiben und zu erkennen.
Hier lernst du ...
- was man in der Informatik unter einem Alphabet versteht und welche Wörter sich aus seinen Zeichen bilden lassen.
- wie eine formale Sprache definiert ist.
- dass man auch in diesem Kontext zwischen Syntax und Semantik einer Sprache unterscheiden muss.