automaton_tools
