Codex Wiki OurBigBook logoOurBigBook.comSite Source code
The regular construction relies on a regular derivation having exactly one terminal rule, at its end. In a general variable-based grammar several variables may each use terminal productions, so replacing every such production can introduce several copies of the second start variable.

Ancestors (9)

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