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