回文图灵机

mar*_*_17 -3 turing-machines

用一根胶带和两根胶带描述TM,它们决定回文的语言适应性(单词只有“ 1”和“ 0”符号)。估计每个TM的工作时间。

Pat*_*k87 5

一盘磁带:

读取第一个符号,如果为0,则进入状态A,如果为1,则进入状态B。向右移动到磁带的末尾(第一个空白符号)。向左移动一个符号。如果此符号为0并且您处于状态A,或者如果它为1并且您处于状态B,则将其设置为空白,并一直返回到左侧,直到找到一个空白符号,然后向右移动一个。否则,该词不是回文,而您则拒绝。以这种方式继续操作,直到您停止拒绝或磁带上的所有符号都被替换为空白,在这种情况下,您将停止接受。这大约需要(n + 1)+ n + ... + 1〜O(n ^ 2)个移动。

两盘录像带:

将输入磁带的磁带头移到末端,然后向后读到输入磁带的开头。进行时,将磁带符号依次写在第二个磁带上,以便最后得到与第二个磁带上的输入磁带相反的字符。重设两个磁头,然后将每个磁头移到磁带的末端,在每个步骤中比较每个磁头所指向的符号。如果找到符号不同的位置,则说明输入不是回文,并且您拒绝了。如果您到达末尾(末尾的第一个空白符号)而没有找到不匹配的地方,那么这就是回文,您就停止接受。