Lab / State Machine Designer

State Machine Designer

Draw finite automata interactively. Test input strings step by step, view the transition table, and detect DFA vs NFA. Supports epsilon transitions and NFA-to-DFA conversion.

DFA0 states

All computation runs in your browser. No data is sent to any server. Click to add states, Shift+drag to connect them, right-click to toggle accept states.