Bedeutung von Nichtterminalsymbol | Babel Free

Definitionen

Theoretische Informatik, Theorie formaler Sprachen: Symbol, das während der Ableitung der sprachlichen Konstrukte in einer formalen Sprache auftreten kann, aber niemals selbst Bestandteil der erzeugten Konstrukte ist

Beispiele

“Eine formale Sprache für das Deutsche könnte etwa eine Regel SATZ → SUBJ PRÄD enthalten, eine Ableitung des Satzes („Wortes“) „Peter lügt“, könnte dann beim Startsymbol SATZ beginnen, es zunächst durch „SUBJ PRÄD“ ersetzen, und in dieser Satzform dann noch „SUBJ“ durch „Peter“ und „PRÄD“ durch „lügt“. Die hier – wie oft zur Unterscheidung – großgeschriebenen Nichtterminalsymbole SATZ, SUBJ, PRÄD sind selbst keine Teile der beschriebenen Sprache, sondern treten nur während der Erzeugung von deren möglichen Äußerungen nach einem Ersetzungsverfahren auf und vertreten meist, so wie hier („Subjekt“, „Prädikat“), abstrakte grammatische Einheiten im Satz.”

GER-Stufe