Complete the proof of epsilon optimality of the reduced automaton
Delete the unneeded