Codex Wiki OurBigBook logoOurBigBook.comSite Source code
For a deterministic finite automaton with states, every accepted word with has a decomposition such that , , and is accepted for every integer .

Ancestors (5)

  1. Formal language theory
  2. Foundations of mathematics
  3. Area of mathematics
  4. Mathematics
  5. Home