Automata question 2