可视化模拟图灵机运行,支持自定义规则和纸带,内置示例
这是浏览器端运行的图灵机可视化模拟工具。你可以自定义状态规则和初始纸带,直观看到读写头移动、状态转移的完整过程。
遵循标准图灵机模型定义,内置了位取反、二进制加 1、奇偶校验三种基础示例,适合入门理解可计算性理论。
当前限制最长 200 个符号,足够满足入门练习和演示需求,更长纸带会影响可视化显示。
支持 0、1 及常用英文字符,最多支持 10 种不同纸带符号,满足基础模型设计需求。
最多支持设置 20 个不同状态,满足简单计算任务和教学演示的需求。
出现死循环时,点击停止按钮即可中断运行,之后可以修改规则重新运行。