A Python library for simulating finite automata, pushdown automata, and Turing machines
Project description
Automata
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! 🎉
Installing
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.
Contributing
Contributions are always welcome! Take a look at the contributing guide.
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file automata_lib-9.0.0.tar.gz.
File metadata
- Download URL: automata_lib-9.0.0.tar.gz
- Upload date:
- Size: 102.6 kB
- Tags: Source
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/6.0.1 CPython/3.12.8
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
15994aad0c863f5e9e255535c7983a366178529d9f0cf0a0b0141085f44323a4
|
|
| MD5 |
b32fea005be7e42f29e98e6a406ca3e3
|
|
| BLAKE2b-256 |
dfcb4135e2a1fe940fa8803ef58213d35d6011d672c146d85319a21576ce5e1b
|
Provenance
The following attestation bundles were made for automata_lib-9.0.0.tar.gz:
Publisher:
publish.yml on caleb531/automata
-
Statement:
-
Statement type:
https://in-toto.io/Statement/v1 -
Predicate type:
https://docs.pypi.org/attestations/publish/v1 -
Subject name:
automata_lib-9.0.0.tar.gz -
Subject digest:
15994aad0c863f5e9e255535c7983a366178529d9f0cf0a0b0141085f44323a4 - Sigstore transparency entry: 165005646
- Sigstore integration time:
-
Permalink:
caleb531/automata@b0554b59fd8ecc9467125d88e193a37a5455cf61 -
Branch / Tag:
refs/tags/v9.0.0 - Owner: https://github.com/caleb531
-
Access:
public
-
Token Issuer:
https://token.actions.githubusercontent.com -
Runner Environment:
github-hosted -
Publication workflow:
publish.yml@b0554b59fd8ecc9467125d88e193a37a5455cf61 -
Trigger Event:
push
-
Statement type:
File details
Details for the file automata_lib-9.0.0-py3-none-any.whl.
File metadata
- Download URL: automata_lib-9.0.0-py3-none-any.whl
- Upload date:
- Size: 125.1 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/6.0.1 CPython/3.12.8
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
1861ec4c1b0dc29f97ab9e64b707bf52e3054c69ec6a1d5e6de2b834d198b331
|
|
| MD5 |
fa229f35aff773e77df69a9c66864c81
|
|
| BLAKE2b-256 |
5653a9963095b7e60e8f1915283fc50db3e040eeb5e7f61c3934bf1049d90971
|
Provenance
The following attestation bundles were made for automata_lib-9.0.0-py3-none-any.whl:
Publisher:
publish.yml on caleb531/automata
-
Statement:
-
Statement type:
https://in-toto.io/Statement/v1 -
Predicate type:
https://docs.pypi.org/attestations/publish/v1 -
Subject name:
automata_lib-9.0.0-py3-none-any.whl -
Subject digest:
1861ec4c1b0dc29f97ab9e64b707bf52e3054c69ec6a1d5e6de2b834d198b331 - Sigstore transparency entry: 165005649
- Sigstore integration time:
-
Permalink:
caleb531/automata@b0554b59fd8ecc9467125d88e193a37a5455cf61 -
Branch / Tag:
refs/tags/v9.0.0 - Owner: https://github.com/caleb531
-
Access:
public
-
Token Issuer:
https://token.actions.githubusercontent.com -
Runner Environment:
github-hosted -
Publication workflow:
publish.yml@b0554b59fd8ecc9467125d88e193a37a5455cf61 -
Trigger Event:
push
-
Statement type: