Codex Wiki OurBigBook logoOurBigBook.comSite Source code

Accessible looping terminable variable criterion

If a finite right-linear grammar generates an infinite language, some variable is accessible, looping, and terminable. It is the repeated variable on a sufficiently long accepting derivation.

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

Incoming links (1)