AutomatomaniA for automaton