A Python library for simulating finite automata, pushdown automata, and Turing machines
Copyright 2016-2025 Caleb Evans
Released under the MIT license
Links:
Automata is a Python 3 library implementing structures and algorithms for manipulating finite automata,
pushdown automata, and Turing machines. The algorithms have been optimized and are capable of
processing large inputs. Visualization logic has also been implemented. This package is suitable for
both researchers wishing to manipulate automata and for instructors teaching courses on theoretical
computer science.
The library requires Python 3.9 or newer.
Huge thanks to @eliotwrobson, @YtvwlD,
@dengl11, @Tagl, @lewiuberg,
@CamiloMartinezM,
@abhinavsinha‑adrino,
@EduardoGoulart1,
@khoda81, and
@christopher-hampson for their invaluable code contributions to
this project! 🎉
You can install the latest version of Automata via pip:
pip install automata-lib
To install the optional visual dependencies, use the visual
extra:
pip install 'automata-lib[visual]'
If you encounter errors building pygraphviz
, you may need to install graphviz
.
See the instructions here.
Contributions are always welcome! Take a look at the contributing guide.