Terminalsymbol
aus Wikipedia, der freien Enzyklopädie
Ein Terminalsymbol bzw. Terminalzeichen einer formalen Grammatik ist ein Symbol, das (einzeln) nicht weiter durch eine Produktion ersetzt werden kann. Mit anderen Worten, ein Terminalsymbol kommt auf keiner linken Regelseite einzeln vor.
Beim Parsen wird jedes Token letztlich mit einem Terminalsymbol einer Grammatik verglichen, nur wenn das Terminalsymbol zu dem Token passt, kann die entsprechende Regel der Grammatik angewendet werden.
Die Terminalsymbole einer Grammatik bilden die Blätter der Syntaxbäume aller ableitbaren Wörter. Analog bilden die zu den Terminalsymbolen passenden Tokens die Blätter des Parsebaums.
In der Theorie sind Terminalsymbole häufig auf Kleinbuchstaben beschränkt, z.B. aaaaabcc, in der Praxis jedoch auch andere Symbole wie Satzzeichen und Schlüsselwörter von Programmiersprachen, z.B. FOR, IF, PROGRAM, usw.
