Automaton Interface