automata_tools
