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.