automaton setup