ein Nichtterminalzeichen A einer kontextfreien Grammatik, aus dem sich mindestens ein Wort ableiten läßt, d. h., es gibt ein Wort w über dem Alphabet der Grammatik mit A ⇒^∗w.

Unproduktive Nichtterminalzeichen können effektiv erkannt und im Zuge der Reduzierung der Grammatik gestrichen werden, ohne die Sprache zu ändern. Sie enstehen manchmal bei der automatischen Konstruktion von Grammatiken.