Devola and Popola: Automata