Codex Wiki OurBigBook logoOurBigBook.comSite Source code
Retain every production of whose right-hand side contains a variable, replace every production with by , include , and use as start variable. If and are right-linear, the resulting grammar is right-linear and generates .

Ancestors (8)

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