Akademik

formale Sprache,

 

eine mithilfe einer formalen Grammatik ableitbare Menge von Zeichenketten. Die formale Grammatik stellt hier die Regeln zur Bildung der Zeichenketten aus einem Zeichenvorrat oder Alphabet zur Verfügung. Bezeichnet man die Zeichenketten als Wörter, so ist eine formale Sprache also die Menge der erlaubten Wörter über einem Alphabet. Größere sprachliche Einheiten wie Sätze werden nicht unterschieden. Formale Sprachen eignen sich zur Kommunikation mit Automaten, um etwa Spracherkennungssysteme, Sprachverarbeitungssysteme oder einfache Übersetzer zu entwickeln, aber auch um die Grenzen der Einsatzmöglichkeiten von Automaten auszuloten. Entscheidend für die Nützlichkeit von formalen Sprachen sind ihre Eindeutigkeit, Explizitheit und leichte Überprüfbarkeit.

 

Jede Programmiersprache ist eine formale Sprache, wobei an die Stelle der Wörter die Befehle, Routinen, Variablen usw. treten und zusätzliche Vorschriften existieren, die die Bedeutung von syntaktisch korrekten Programmen festlegen. Welche Zeichenfolgen in der Programmiersprache enthalten sind (d. h., welche Zeichenketten korrekt sind), wird durch die Syntax festgelegt. Bei der Formalisierung der Syntaxanalyse von Programmiersprachen haben formale Sprachen ebenfalls große Bedeutung.