automata_toolkit
