Turing machines 回文图灵机

用一卷磁带和两卷磁带描述TM，这两卷磁带决定了语言是否包含回文（单词只有“1”和“0”符号）。估计每个TM的工作时间。

一个磁带：

读取第一个符号并移动到状态A（如果为0）或状态B（如果为1）。替换为空白。向右移动到磁带末端（第一个空白符号）。向左移动一个符号。如果此符号为0且您处于状态a，或者如果此符号为1且您处于状态B，则将其设置为空白并一直向左返回，直到找到空白符号，然后向右移动一个。否则，该单词就不是回文，您将停止拒绝。以这种方式继续，直到您停止拒绝或磁带上的所有符号都被替换为空白，在这种情况下，您停止接受。这大约需要（n+1）+n+…+1~O（n^2）移动

两盘磁带：

---

将输入磁带的磁带头移到末端，然后向后读取到输入磁带的开头。在进行操作时，在第二个磁带上按顺序写入磁带符号，以使第二个磁带上的输入磁带相反。重置两个磁带头，然后将每个磁带头移至磁带末端，在每一步比较每个磁带头指向的符号。如果您发现符号不同的位置，则输入不是回文，您将停止拒绝。如果在结尾（结尾的第一个空白符号）没有发现不匹配，那么它是回文，您将停止接受。

这不是问题。这看起来像是一堆家庭作业。祝你好运。更具建设性的是：像你自己这样的问题，似乎是要求别人为他们做作业，但在堆栈溢出时往往会受到负面影响。另一方面，如果你能描述你所做的尝试和你所遇到的困难，并寻求一个提示而不是一个完整的解决方案，你很可能会得到一些有用的帮助。最后，请注意，关于图灵机的问题更可能出现在理论计算机科学堆栈交换中：