Codex Wiki OurBigBook logoOurBigBook.comSite Source code
In the convention used here, a Brzozowski NFA has one final state, every state can reach it, and each word labels a path to it from exactly one starting state.

Ancestors (6)

  1. Nondeterministic finite automaton
  2. Formal language theory
  3. Foundations of mathematics
  4. Area of mathematics
  5. Mathematics
  6. Home