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.
FAQs
A Python library for simulating finite automata, pushdown automata, and Turing machines
We found that automata-lib demonstrated a healthy version release cadence and project activity because the last version was released less than a year ago. It has 1 open source maintainer collaborating on the project.
Did you know?
Socket for GitHub automatically highlights issues in each pull request and monitors the health of all your open source dependencies. Discover the contents of your packages and block harmful activity before you install or update your dependencies.
Security News
Bybit's $1.46B hack by North Korea's Lazarus Group pushes 2025 crypto losses to $1.6B in just two months, already surpassing all of 2024's $1.49B total.
Security News
OpenSSF has published OSPS Baseline, an initiative designed to establish a minimum set of security-related best practices for open source software projects.
Security News
Michigan TypeScript founder Dimitri Mitropoulos implements WebAssembly runtime in TypeScript types, enabling Doom to run after processing 177 terabytes of type definitions.