A Python library for simulating finite automata, pushdown automata, and Turing machines
An Automata Learning Library Written in Python
