计算理论工具包
tock的Python项目详细描述
tock代表计算工具包理论。它可以模拟 在标准计算理论课程中教授的自动机(确定性 不确定有限自动机、下推自动机和图灵 机器)。它还允许多个单元、堆栈或磁带。
安装
TOCK取决于以下各项:
步骤:
文件
文档包含在一系列 IPython笔记本:
- Deterministic finite automata
- Nondeterministic finite automata
- Regular expressions
- Pushdown automata
- Context free grammars
- Turing machines
要打开它们,请在tock目录中运行ipython notebook。网 浏览器应该打开,显示目录的内容。点击 doc,然后是其中一个.ipynb文件来查看它。
复制
这是麻省理工学院许可下的开源软件。见LICENSE.txt 更多信息。