无需登录 数据私有 本地保存

图灵机模拟器 - 规则与纸带执行

19
0
0
0

图灵机模拟器

自定义五元组规则，观察图灵机在纸带上的逐步执行过程。

转移规则（五元组）
当前状态 读取符号 写入符号 移动方向 新状态
暂无规则，请添加或加载示例。
纸带与配置
纸带状态
当前状态：q0 步骤：0
控制面板
300ms
执行日志
暂无日志，点击执行开始记录。

常见问题与图灵机知识

图灵机是由艾伦·图灵于1936年提出的抽象计算模型，它包含一条无限长的纸带、一个读写头、有限状态控制器和一套转移规则。尽管简单，图灵机能够模拟任何计算机算法，是计算理论的核心概念。

五元组 (q, a, b, D, q') 含义：在状态q下读取符号a，则写入符号b，读写头向方向D移动（L=左, R=右, N=停留），并转移到新状态q'。

首先，在规则表定义五元组（或点击“加载示例”获得现成规则）。然后设置纸带初始内容、头位置和空白符号。点击“应用配置并重置”初始化，即可通过“单步执行”或“自动执行”观察运行过程。当到达接受状态或无法匹配规则时，图灵机停机。

示例规则实现了简单的位翻转：在状态q0下，读到1则写0并右移，读到0则写1并右移，读到空白符号#则进入停机状态。这样遍历完纸带上的二进制串后自动停机。

停机问题指的是不存在一个通用算法能够判断任意图灵机在给定输入下是否最终会停止。这是计算理论中著名的不可判定问题，证明了计算机能力的根本局限。

在纸带配置区域可输入任意单个字符作为空白符号（默认为 #）。纸带左右端无限延伸的空白部分会自动用该符号填充，但仅显示已探索的区域。
🔧 相关工具