Codex Wiki OurBigBook logoOurBigBook.comSite Source code
A nonterminal is unreachable when no word derivable from the start symbol contains it. Productions whose left sides are unreachable do not affect 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