Terminalzeichen

Terminalzeichen

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

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 werden Terminalsymbole häufig durch Kleinbuchstaben repräsentiert, in der Praxis jedoch auch andere Symbole wie Satzzeichen und Schlüsselwörter von Programmiersprachen, z. B. FOR, IF, PROGRAM, usw.


Wikimedia Foundation.

Игры ⚽ Нужно решить контрольную?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Greibach-Normalform — Die Greibach Normalform ist ein Begriff der theoretischen Informatik, der im Zusammenhang mit kontextfreien Sprachen von Interesse ist. Sie ist nach der US Informatikerin Sheila A. Greibach benannt und beschreibt eine Normalform der kontextfreien …   Deutsch Wikipedia

  • Greibachnormalform — Die Greibach Normalform ist ein Begriff der theoretischen Informatik, der im Zusammenhang mit kontextfreien Sprachen von Interesse ist. Sie ist nach der US Informatikerin Sheila A. Greibach benannt und beschreibt eine Normalform der kontextfreien …   Deutsch Wikipedia

  • Nichtterminale — Formale Grammatiken sind mathematische Modelle von Grammatiken, die mit Hilfe des Semi Thue Systems angegeben werden und durch die formale Sprachen beschrieben und erzeugt werden können. Sie werden in der theoretischen Informatik, insbesondere in …   Deutsch Wikipedia

  • Startsymbol — Formale Grammatiken sind mathematische Modelle von Grammatiken, die mit Hilfe des Semi Thue Systems angegeben werden und durch die formale Sprachen beschrieben und erzeugt werden können. Sie werden in der theoretischen Informatik, insbesondere in …   Deutsch Wikipedia

  • Startvariable — Formale Grammatiken sind mathematische Modelle von Grammatiken, die mit Hilfe des Semi Thue Systems angegeben werden und durch die formale Sprachen beschrieben und erzeugt werden können. Sie werden in der theoretischen Informatik, insbesondere in …   Deutsch Wikipedia

  • 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,… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”