Search results for automaton dfa minimization