Automata Toolkit