automata hw2