Something about automata.