Terminalsymbol

Ein Terminalsymbol (auch Terminalzeichen oder kurz Terminal genannt) einer formalen Grammatik ist ein Symbol, das einzeln nicht weiter durch eine Produktionsregel ersetzt werden kann. Damit kann kein Wort, das nur aus Terminalsymbolen besteht, als Prämisse (d. h. linke Seite) einer Produktionsregel vorkommen. Die Menge aller Terminalsymbole einer Grammatik bildet das Alphabet der Symbole, aus denen die Wörter der durch die Grammatik erzeugten Sprachen bestehen. Alle ersetzbaren Symbole werden Nichtterminalsymbole genannt.