Worum geht es hier?

E-Mail-Adressen, Python-Programme oder die Beschreibung eines Bildes: In der Informatik begegnen dir viele Zeichenfolgen, die nach festen Regeln aufgebaut sind. Doch woran erkennt man, ob eine Zeichenfolge korrekt gebildet ist? Und ist ihr Aufbau dasselbe wie ihre Bedeutung?

In diesem Kapitel lernst du die Grundlagen formaler Sprachen kennen. Du untersuchst, welche Symbole als Bausteine dienen und wie daraus Wörter entstehen. Dabei können auch Zahlen oder ganze Programme als Wörter aufgefasst werden. Eine formale Sprache legt fest, welche Wörter dazugehören.

Außerdem unterscheidest du zwischen den Regeln für den Aufbau von Zeichenfolgen, ihrer Bedeutung und ihrer Verwendung in einer konkreten Situation. Diese Grundlagen helfen dir später, Sprachen präzise zu beschreiben und Zeichenfolgen automatisch zu überprüfen.