A Python library for simulating finite automata, pushdown automata, and Turing machines