Public interface for automaton