How do you construct a minimum state automaton to a given automaton?