automaton_engine
