Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

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

License

NotificationsYou must be signed in to change notification settings

caleb531/automata

Copyright 2016-2025 Caleb Evans
Released under the MIT license

PyPI versiontestsdocsCoverage StatusProject Status: Active – The project has reached a stable, usable state and is being actively developed.PyPI - Python VersionstatuspyOpenSci

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 ofprocessing large inputs. Visualization logic has also been implemented. This package is suitable forboth researchers wishing to manipulate automata and for instructors teaching courses on theoreticalcomputer 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 tothis project! 🎉

Installing

You can install the latest version of Automata via pip:

pip install automata-lib

To install the optional visual dependencies, use thevisual extra:

pip install'automata-lib[visual]'

If you encounter errors buildingpygraphviz, you may need to installgraphviz.See the instructionshere.

Contributing

Contributions are always welcome! Take a look at thecontributing guide.

About

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

Topics

Resources

License

Code of conduct

Contributing

Stars

Watchers

Forks

Contributors22


[8]ページ先頭

©2009-2025 Movatter.jp