First half of the second automata lab is working