Python library to manage DFA, NFA and AFW automata
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.
/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
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.
From PyPi using pip:
python setup.py install pip install -r requirements
It is advised in any case to use a Python Virtual environment instead of a global installation.
This code is provided under MIT Licence.