Terminal und nicht Terminal Symbole

In der Informatik sind terminale und nicht terminale Symbole die lexikalischen Elemente, die bei der Spezifizierung der Produktionsregeln verwendet werden, die eine formale Grammatik bilden. Terminalsymbole sind die elementaren Symbole der Sprache, die durch eine formale Grammatik definiert sind.

Nichtterminale Symbole (oder syntaktische Variablen) werden durch Gruppen von Terminalsymbolen gemäß den Produktionsregeln ersetzt. Das rekursive Anwenden der Produktionsregeln auf eine Inputzeichenfolge endet normalerweise in einer abschließenden Outputzeichenfolge, die nur aus Terminalsymbolen besteht.

Nichtterminale Symbole sind solche Symbole, die ersetzt werden können. Sie können auch einfach syntaktische Variablen genannt werden. Eine formale Grammatik enthält ein Startsymbol, ein benanntes Mitglied der Menge von Nichtterminalen, von denen alle Strings in der Sprache durch aufeinanderfolgende Anwendungen der Produktionsregeln abgeleitet werden können. In der Tat ist die von einer Grammatik definierte Sprache genau die Menge der terminalen Strings, die so abgeleitet werden können.