new: automata