automaton enumerator