可视化模拟图灵机运行,支持自定义规则与纸带,单步/连续执行
这是浏览器端的图灵机可视化模拟工具。解决理论学习时,无法直观观察图灵机状态转移、纸带读写过程的问题。
完全遵循图灵提出的基础计算模型定义,支持自定义有限状态集、输入字母表、纸带字母表、转移函数、初始状态与接受状态。
没有硬性限制,运行性能仅受当前浏览器配置影响,日常练习使用无压力。
必须按「当前状态 当前符号 新符号 移动方向 新状态」格式填写,每行一条规则。
仅支持左移 L、右移 R 两种方向,符合标准图灵机的定义。
符合图灵机定义,进入没有转移规则的状态(停机状态)后,运行自动终止。