Skip to content
Tape‑n‑Trace
PracticeSearch 26 tools

← All conversions

NFA → DFA

The subset construction: every set of NFA states the machine could be in becomes one DFA state.

Source · NFA

fixed
0, 101q0q1q2

Result · DFA

1 of 3 states
{q0}

Working

1 row
The subset table. Each row is a DFA state; each cell is where it goes on that symbol.
DFA state01
{q0}——

Start from the subset containing just the start state: {q0}. That subset is the start state of the DFA.

The answer appears at the last step. if you would rather read it than watch it.

How to read itHopcroft 2e, §2.3.5 (and §2.5.5 for an ε-NFA)
  • The table underneath is the subset table, one row per DFA state.
  • A row is expanded per step: where it goes on each symbol, and which of those subsets are new.
  • The DFA on the right grows a state at a time — only subsets that are actually reachable are built.