图灵机结束状态和停止状态之间的区别？ [关闭]答案

【问题标题】：Difference between a Turing machine end state and halt state? [closed]图灵机结束状态和停止状态之间的区别？ [关闭]
【发布时间】：2015-03-24 01:15:42
【问题描述】：

图灵机的结束状态和停止状态有区别吗？特别是，例如忙碌的海狸三态问题。据说TM有3个状态，但也有一个停止。结束状态是 Q2 还是 halt？

【问题讨论】：

在近距离投票中：关于图灵机的问题如何更适合超级用户而不是 StackOverflow？这可能适用于CS SE，或者可能适用于Theoretical CS SE。但是，比较 SO 和 SU 上的搜索词“Turing Machine”的结果很快就会发现，任何关于 Turing 机的具体问题在这里都比 SU 更适合。
我投票决定将此问题作为题外话结束，因为它属于 Theoretical CS SE（可以迁移吗？）
@ali_m 我知道 CS SE 是一个更好的地方，但不幸的是，那里的社区不是那么大，我还没有收到答案，因为在 SO 中看到了一些关于TM，我发布了我的。
如果这个问题应该被迁移，那么关于在 SO 应用到它的特定标签有什么意义。如果这些标签在这里被允许作为标签，我看不出这个问题有什么离题的地方。如果问题是题外话，我看不出这些标签应该以任何方式存在于该站点。
@user4325010 我绝对可以同情你。在我看来，问题在于，如果人们习惯性地问他们关于 SO 的理论 CS 问题，那么它不仅会使 SO 变得混乱，而且还会破坏理论 CS SE 社区。我不反对与算法的 特定软件实现 相关的 SO 问题，但您的问题纯粹是理论上的，因此根据 CS 标签描述是题外话（请参阅元讨论我也链接到了）。

标签： computer-science theory computation-theory turing-machines

【解决方案1】：

These notes 给出一个可能的答案，可以在标题为“图灵可接受”的说明部分找到。

有些书对“图灵机接受”的定义略有不同。也就是说，在那些书籍定义的图灵机中，有两种停止状态：“接受停止”和“拒绝停止”。因此，图灵机可以接受一个字符串并停止，拒绝一个字符串并停止，或循环。有了这个定义，如果给定字符串，图灵机就会接受一个字符串，图灵机最终会进入接受停止状态。就本课堂笔记中讨论的材料而言，这两个“接受”的定义没有区别。

所以可能的答案是否定的，“接受状态”和“停止状态”之间没有实质性区别。

但是请注意，对于在某些特定图灵机上运行的问题的单个实例，这个关于停机的问题一般不会与停机问题非常相关。停止问题通常是关于一种算法，对于任何输入程序和启动状态，它会告诉您从该状态开始的程序是否会停止。

这与只给出一个问题的单个实例（例如 Busy Beaver 3）并要求仅推理该单个实例可能的从开始状态到停止状态的路径是完全不同的。

【讨论】：