Codex Wiki OurBigBook logoOurBigBook.comSite Source code
Every sentential form reachable from the start variable of a right-linear grammar is either a terminal word or , where is the unique variable and occurs at the right end.

Ancestors (8)

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