DFA minimization (initial prototype)