refactor automata API