Formale Sprache

Formale Sprachen generieren die syntaktische Konstruktion und Klassifikation von Wörtern, die über einem endlichen Alphabet gebildet werden können. Die Theorie der formalen Sprachen bildet die Grundlage für viele andere Gebiete der Theoretischen Informatik insbesondere der Informationsverarbeitung, im Compilerbau sowie in der Modellbildung. Mit Hilfe der formalen Grammatik werden formale Sprachen erzeugt. Es kann hinsichtlich der formalen Sprachen eine Sprachhierarchie definiert werden. Diese fasst Sprachen jeweils gleicher Charakteristik und Ausdrucksstärke zu Sprachklassen innerhalb der sogenannten Chomsky-Hierarchie zusammen.


Eine formale Sprache ist stets eine Menge von Zeichenketten. Mit dem Attribut "formal" wird auf den systembezogenen Aspekt hingewiesen, da in theoretischen und technischen Systemen zumeist eine geringere Anzahl an Wörtern ausreicht, um Informationen auszutauschen. Daher ist auch eine Orientierung an natürlichen Sprachen nicht sinnvoll.

Eine Sprache ist immer untrennbar mit ihrer Grammatik verbunden, d.h. die grammatikalischen Regeln einer Sprache bestimmen ihre Syntax. Damit hat die Syntax als Lehre vom Satzbau eine zentrale Rolle in einer formalen Sprache wohingegen die Semantik und damit die Bedeutung der Sätze irrelevant ist.

Automaten interpretieren und verarbeiten die durch formale Sprachen gebildeten Ausdrücke. Dabei kann jeder formalen Sprache eine definierte Sprachklasse zugeordnet werden. Die Automaten bilden dabei das Modell einer Rechenmaschine, während die Sprachen das Modell für die Bildung der von der Rechenmaschine zu verarbeitenden Eingaben bereitstellen.

Definition: Alphabet, Zeichen, Wort und Formale Sprache

Definition von Alphabet, Zeichen, Wort und formale Sprache

Definition von Alphabet, Zeichen, Wort und formale Sprache

Formale Sprachen sind aber nicht nur für den Informationsaustausch wichtig, sondern auch für die Grundlagenforschung. So werden etwa Methoden zur Sprach- und Zeichenerkennung bei natürlichen Sprachen abgeleitet.

Informationen zum Artikel
Deutsch: Formale Sprache
Englisch: formal language
Veröffentlicht: 08.04.2012
Wörter: 266
Tags: #Entwicklung, Codierung
Links: Alphabet, Aspekt, Attribut, Chomsky-Hierarchie, Compilerbau