Codex Wiki OurBigBook logoOurBigBook.comSite Source code
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.

Ancestors (7)

  1. Variable-based grammar
  2. Formal grammar
  3. Formal language theory
  4. Foundations of mathematics
  5. Area of mathematics
  6. Mathematics
  7. Home