Automaton Designer - DFA/NFA State Diagram Tool

Controls

Click Create state

Drag Move state

Right-click Start state

Double-click Final state

Shift+Drag Transition

Drag to trash Delete state

Click arrow Delete transition

Supports DFA and NFA (multiple transitions per symbol)

Actions

Test Automaton

Test String

Test Cases

🗑️

Drop to Delete