Tock stands for Theory Of Computing toolKit. It can simulate the automata taught in standard theory of computation courses (deterministic and nondeterministic finite automata, pushdown automata, and Turing machines). It can also simulate many extensions, like multiple stacks or tapes.
Tock depends on the following:
- Python 3.7 (required)
- GraphViz (to draw graphs)
- Jupyter (to view notebooks)
- pydot (to edit machines)
- openpyxl (to open Excel files)
Steps:
-
Run
pip install tock. -
Install Jupyter by running
pip install jupyter(orconda install jupyterif you use Anaconda). -
Install GraphViz.
This is open-source software under the MIT License. See LICENSE.txt
for more information.