Automata Solver
Input
Minimized
Clear all
States
Alphabet
Initial states
Final states
Transitions
From state
Symbol
To states
SVG
PNG
SVG
PNG
Validate:
Properties
Graph