DFA minimization: partition of the reachable states
minimization algorithm working for example