Minimization of DFA Non Reachable States Example