Python framework for automata.