2015-01-15 39 views
0

我得弄清楚这个语言是否你会如何设计一个单磁带,双头TM检查统一词?

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

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

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

+0

这个问题似乎是题外话题,因为它是关于理论上的CS,这更适合cs.stackexchange.com。 – templatetypedef 2015-01-15 17:45:56

回答

0

作为一个提示,您可以通过反复向前两步移动一个磁带头,然后向前走一步,直到磁带头从磁带走过;此时,较慢的磁带头处于中途点。这可能会帮助您找到字符串中的断点。

希望这会有所帮助!

相关问题