pombredanne / pysimpleautomata

Academic Python Library to manage DFA, NFA and AFW automata.

PySimpleAutomata

PySimpleAutomata is a Python library to manage Deterministic Finite Automata (DFA), Nondeterministic Finite Automata(NFA) and Alternate Finite state automata on Word (AFW).

This library is not meant for performance nor space consumption optimization, but for academic purposes: PySimpleAutomata aims to be an easily readable but working representation of automata theory.

This project has been developed for "Process and Service Modelling and Analysis" class of Master of Science in Engineering in Computer Science from Sapienza University of Rome.

Structure

/PySimpleAutomata
|
+---/PySimpleAutomata : Library sources
|   |
|   +--- AFW.py : Functions to handle AFWs automata.
|   |
|   +--- automata_IO.py : Functions of IN/OUTput for all the automata types.
|   |
|   +--- DFA.py : Functions to handle DFAs automata.
|   |
|   +--- NFA.py : Functions to handle NFAs automata.
|
+---/doc : Documentation sources
|
+---/tests : Unit testing and test-cases inputs

Requirements

The project is Python3 only, tested on Python 3.5 and 3.6.

Graphviz - Graph Visualization Software is required to be installed and present on system path to input/output dot files, while Python packages pydot and graphviz are used to handle them (respectively input and output).

Sphinx is used to generate the documentation.

Unittest for Unit testing.

Installation

From PyPi using pip:

pip install pysimpleautomata

From source:

python setup.py install
pip install -r requirements.txt

It is advised in any case to use a Python Virtual environment instead of a global installation.

Documentation

For a detailed explanation of the library API consult the online documentation or download it.

Licence

This code is provided under MIT Licence.