Nichtterminalen

Nichtterminalen sind Symbole in formalen Grammatiken, die keine konkreten Ausdrücke der Sprache selbst darstellen, sondern syntaktische Kategorien repräsentieren. Sie dienen als Platzhalter, die gemäß Produktionsregeln durch Sequenzen aus Terminalsymbolen und/oder weiteren Nichtterminalen ersetzt werden können.

Eine Grammatik G besteht aus vier Bestandteilen: N, die Menge der Nichtterminalen; T, die Menge der Terminals; P, die Menge der Produktionsregeln; und S, dem Startsymbol. N und T sind disjunkt, und S ∈ N.

Jede Regel A -> α hat A aus N als linken Anteil und α als rechte Seite, wobei α eine Zeichenkette aus Symbolen aus N ∪ T ist. Über Anwendungen der Regeln erzeugt man endliche oder unendliche Folgen, die schließlich nur Terminalsymbole enthalten.

Nichtterminale erklären die Struktur einer Sprache: Sie stehen in Baumdarstellungen (Parse-Trees) als Knoten mit Beschriftungen aus N, während die Blattknoten Terminalsymbole aus T tragen. Auf diese Weise repräsentieren sie Phrasen wie Satz, Nominalphrase oder Verbphrase in der Sprachsyntax oder Programmierkonstrukte in der Compiler-Entwicklung.

Beispiele: Ein einfacher kontextfreier Ausschnitt:

S -> NP VP

NP -> Det N

VP -> V NP

Det -> der | die | das | ein | eine

N -> Hund | Katze | Mann

V -> sieht | liebt | frisst

Terminalsymbole sind also Wörter oder Tokens wie der, die Hund, sieht. Nichtterminale dienen der Beschreibung der hierarchischen Struktur und finden Anwendung in Linguistik, Parser-Entwicklung und dem Compilerbau.