Nichtterminalsymbol
Substantiv · n
—
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