DFA Minimization
Settings
Σ:
Add child
Remove selected partition
Check nodes
Set terminal
Auto partition
Done?
Move states
Add transitions
Hint
Complete
Done?
Export
Split a leaf node
Created with Raphaël 2.1.2
Layout