DFA Minimization
Settings
Σ:
Add child
Remove selected partition
Check nodes
Set terminal
Auto partition
Done?
Move states
Add transitions
Hint
Complete
Done?
Export
Layout