ein Nichtterminalzeichen einer Grammatik, das in mindestens einer aus dem Startsymbol ableitbaren Satzform vorkommt.

Nicht erreichbare Nichtterminale können im Zuge der Reduzierung einer Grammatik gestrichen werden, ohne die Sprache selbst zu ändern. Solche Nichtterminale entstehen manchmal bei der automatischen Konstruktion von Grammatiken.