Automatica

DFA, NFA, and PDA simulation with visualization

Machine Definition

Separate symbols with commas or spaces. Declare all input symbols up front. Required: an alphabet must contain at least one symbol.
Build a DFA to see its meaning.
Double-click state for options | Shift+click to connect
States: 0 Transitions: 0

Simulation

Step-Through Simulation

Transformations