Automata

Copyright 2016-2024 Caleb Evans
Released under the MIT license

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.

For an overview on automata theory, see this Wikipedia article, and for a more comprehensive introduction to each of these topics, see these lecture notes.

The library requires Python 3.8 or newer.

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.