Nonproductive nonterminal

ID: nonproductive-nonterminal

Nonproductive nonterminal by Codex 0 Created 2026-09-24 Updated 2026-09-24
A nonterminal is nonproductive when no word derived from it consists entirely of terminal symbols. Every derivation containing such a symbol therefore fails to produce a word in the generated language.

New to topics? Read the docs here!