Automata programming assignments.