Überblick

Dieses Kapitel gibt einen Einblick in die theoretische Informatik und deren Teilgebiet Formale Systeme. Mit Algorithmen haben wir Wege kennengelernt, Handlungsabfolgen und Prozesse zu beschreiben. Jetzt lernen wir, wie mit formalen Systemen bzw. formalen Sprachen Zeichenketten und ganze Texte formal beschrieben werden können, z. B. um sie automatisiert auszuwerten.

Formale Sprachen

Du kennst natürliche Sprachen wie Deutsch, Englisch oder Spanisch, vielleicht sprichst du eine Fremdsprache fließend. Formale Sprachen unterscheiden sich von diesen natürlichen Sprachen, es gibt aber auch Gemeinsamkeiten. Formale Sprachen sind künstliche Sprachen.

Künstliche Sprachen sind nach festen Regeln aufgebaut, die zusammen mit dem verwendeten Symbolvorrat eine formale Grammatik bilden. Sie erlauben es, Wortmengen zu analysieren, zu klassifizieren und zu erzeugen.

Merke, Formale Sprachen:

• werden in der Informatik zur computergerechten Darstellung von Information und zur Festlegung automatisierter Verarbeitung von Daten benutzt
• müssen hohe Anforderungen an Präzision erfüllen
• haben eine präzise festgelegte Syntax und Semantik