Hopcroft DFA minimization algorithm