Finite Automaton Exercise