使用单头胶带的双头胶带图灵机的在线模拟

Question

我有一个问题，但我还没有找到答案。我需要使用单头胶带对双头胶带图灵机进行在线模拟。我发现一些在线文章，因为一个单头磁带不足以解决这个问题，并且应该使用两个单头磁带进行模拟，但是我无法准确地模拟两个-head TM使用这些单头磁带。有什么想法怎么做？ 谢谢，

Answer 1

以下是一种可能的方法：

1. 从多轨图灵机开始。如果您之前没有看到过这个，那么这是一个TM，其中每个磁带单元被分割成多个不同的行，每个行都可以保存一个独立的符号。这相当于普通的图灵机，因为只有有限多种可能存储在磁带单元中的符号组合，因此您可以构建磁带字母表，使每个符号具有不同的符号。

2. 让顶部轨道保持您的输入并使底部轨道存储磁带头的位置（通过标记空白为“无”，1表示“磁带头1在这里”，2表示“磁带头” 2在这里，“和3为”两个磁带头都在这里。“

3. 要模拟一步，请扫描输入并找到标记。每次执行此操作时，都可以在有限状态控件中存储哪些符号位于这些磁带头下。只有有限的可能性。然后，重新扫描磁带并模拟移动磁带头。

希望这有帮助！