你如何设计一个单磁带,双头TM来检查同义词?

时间:2015-01-15 16:53:14

标签: turing-machines

我必须弄清楚这种语言是否

  

L = {ww | w {0,1} *}

可由图灵机决定。 TM有1个磁带和2个磁头/指针。输入字符串是有限的。有关如何解决的任何建议?

我看到它的方式,如果我知道字符串的长度,就很容易解决它。

1 个答案:

答案 0 :(得分:0)

作为提示,你可以通过反复向前移动一个磁带头向前两步,另一个向前走一步直到更快的磁带头从磁带上走开来找到磁带的中点;此时,较慢的磁头位于中间点。这可能有助于您在字符串中找到断点。

希望这有帮助!