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 ...