AUTHORS.rst
CONTRIBUTING.rst
HISTORY.rst
LICENSE
MANIFEST.in
README.rst
setup.cfg
setup.py
docs/Makefile
docs/authors.rst
docs/conf.py
docs/contributing.rst
docs/history.rst
docs/index.rst
docs/installation.rst
docs/make.bat
docs/readme.rst
docs/usage.rst
pythomata/__init__.py
pythomata/pythomata.py
pythomata.egg-info/PKG-INFO
pythomata.egg-info/SOURCES.txt
pythomata.egg-info/dependency_links.txt
pythomata.egg-info/not-zip-safe
pythomata.egg-info/requires.txt
pythomata.egg-info/top_level.txt
pythomata/base/Alphabet.py
pythomata/base/DFA.py
pythomata/base/NFA.py
pythomata/base/Simulator.py
pythomata/base/Symbol.py
pythomata/base/__init__.py
pythomata/base/utils.py
tests/__init__.py
tests/test_dfa.py
tests/test_nfa.py
tests/test_pythomata.py
tests/automata/formulas.dfa
tests/automata/formulas.dfa.svg
tests/automata/formulas.nfa
tests/automata/formulas.nfa.svg
tests/automata/issue_15_complete
tests/automata/issue_15_complete.svg
tests/automata/issue_15_minimized
tests/automata/issue_15_minimized.svg
tests/automata/nfa_strings.dot
tests/automata/nfa_strings.dot.svg
tests/automata/nfa_strings_determinized.dot
tests/automata/nfa_strings_determinized.dot.svg
tests/automata/nfa_strings_determinized_minimized.dot
tests/automata/nfa_strings_determinized_minimized.dot.svg
tests/automata/qui.dfa
tests/automata/qui.dfa.svg
tests/automata/qui.nfa
tests/automata/qui.nfa.svg
tests/automata/simple_nfa_strings.dot
tests/automata/simple_nfa_strings.dot.svg
tests/automata/simple_nfa_strings_determinized.dot
tests/automata/simple_nfa_strings_determinized.dot.svg
tests/automata/simple_nfa_strings_minimized.dot
tests/automata/simple_nfa_strings_minimized.dot.svg
tests/automata/strings.dot
tests/automata/strings.dot.svg
tests/automata/strings_complete.dot
tests/automata/strings_complete.dot.svg
tests/automata/strings_coreachable.dot
tests/automata/strings_coreachable.dot.svg
tests/automata/strings_minimized.dot
tests/automata/strings_minimized.dot.svg
tests/automata/strings_minimized_and_trimmed.dot
tests/automata/strings_minimized_and_trimmed.dot.svg
tests/automata/strings_reachable.dot
tests/automata/strings_reachable.dot.svg
tests/automata/strings_trimmed.dot
tests/automata/strings_trimmed.dot.svg