In der Theoretischen Informatik bezeichnet der Begriff Sprache eine Menge von Zeichenketten (oder Wörtern) über einem Alphabet, der zugrundeliegenden Menge von Zeichen. Diese Menge enthält alle gültigen Schreibweisen in der Sprache enthaltener Wörter und beschreibt damit die Syntax der betrachteten Sprache. Die sogenannte Backus-Naur-Form (BNF) ist ein Formalismus zur formalen Beschreibung von Sprachen1.
Bei Beschreibungen in BNF wird zwischen sogenannten Terminalsymbolen, die in der Sprache erlaubten Zeichen entsprechen, und Nichtterminalsymbolen, die in der beschriebenen Sprache nicht vorkommen, unterschieden. Nichtterminalsymbole sind Strukturelemente, die durch Verfeinerung zu einer Folge von Terminalsymbolen abgeleitet werden.
Der Formalismus BNF wurde um 1960 entwickelt, um die Syntax der Programmiersprache Algol formal zu beschreiben. ↩︎