Minimize a DFA using partition refinement (Hopcroft-style). Shows the DFA before and after minimization with detailed steps of partition splitting.
Supported: a-z, | (union), * (star), + (plus), ? (optional), (), [a-z] (ranges), ε
a-z
|
*
+
?
()
[a-z]
ε