imported>MadTekkie: Archivlink ergänzt

2023-09-26T11:01:39Z

Archivlink ergänzt

Neue Seite

{{Überarbeiten}}
Ein '''Terminalsymbol''' (auch '''Terminalzeichen''' oder kurz '''Terminal''' genannt) einer [[Formale Grammatik|formalen Grammatik]] ist ein [[Symbol]], das einzeln nicht weiter durch eine [[Produktionsregel]] ersetzt werden kann. Damit kann kein [[Wort (Theoretische Informatik)|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 (Informatik)|Alphabet]] der Symbole, aus denen die Wörter der durch die Grammatik erzeugten Sprachen bestehen. Alle ersetzbaren Symbole werden [[Nichtterminalsymbol]]e genannt.<ref>{{Internetquelle |url=http://www.flemming-universum.de/html_buch/chapter_0055.html |titel=Kleines Nachschlagewerk Informatik für Niedersachsen |archiv-url=https://web.archive.org/web/20181117022405/https://www.flemming-universum.de/html_buch/chapter_0055.html |archiv-datum=2018-11-17 |zugriff=2018-11-16}}</ref>

Beim [[Parser|Parsen]] wird jedes [[Token (Compilerbau)|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 [[Syntaxbaum|Syntaxbäume]] aller [[Ableitung (Informatik)|ableitbaren]] Wörter. Analog bilden die zu den Terminalsymbolen passenden Tokens die Blätter des [[Parsebaum]]s.

In der Theorie werden Terminalsymbole häufig durch Kleinbuchstaben repräsentiert, in der Praxis jedoch auch andere Symbole wie Satzzeichen und [[Schlüsselwort (Informatik)|Schlüsselwörter]] von Programmiersprachen, z. B. ''FOR'', ''IF'', ''PROGRAM'' usw.

== Einzelnachweise ==
<references />

[[Kategorie:Theorie formaler Sprachen]]
[[Kategorie:Compilerbau]]

Terminalsymbol - Versionsgeschichte

imported>MadTekkie: Archivlink ergänzt