NFA Simulator
Give a cell as many targets as you like, then watch every branch run at once, epsilon moves included.
0
0
1
1
Start at q0. Input is "0011".
step 1 of 6
active statetransition taken / next symboldouble circle = accepting
reading…
- Active states
- q0
- Symbols read
- 0 / 4
← → to step, or use the buttons above.
Build your NFA
One character per symbol, up to 4. Removing a symbol drops its transitions.
| State | 0 | 1 | ε | Acc | Start | |
|---|---|---|---|---|---|---|
| q0 | ||||||
| q1 | ||||||
| q2 |
Click any number of targets per cell — that is what makes it non-deterministic. ε moves consume no input.