Finite Automata Exercise Help