Skip to main content

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

Project description

Automata

Copyright 2016-2024 Caleb Evans
Released under the MIT license

PyPI version tests docs Coverage Status Project Status: Active – The project has reached a stable, usable state and is being actively developed. PyPI - Python Version status pyOpenSci

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.8 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


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

automata_lib-8.4.0.tar.gz (102.0 kB view hashes)

Uploaded Source

Built Distribution

automata_lib-8.4.0-py3-none-any.whl (125.2 kB view hashes)

Uploaded Python 3

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page