Computer science 右图灵机

我要求检查只能向右移动（或停留）的图灵机是否等于标准图灵机

我想把输入复制到另一个磁带上，这是不受限制的。但这有可能吗

---

谢谢你。

考虑这样一个TM，它总是终止，有n个状态，磁带/输入字母表为{0,1}。对于大小为m的输入，它必须在最多2*m*n步后停止。那是因为它不可能在不前进的情况下，在同一个状态下阅读同一个符号两次；如果它这样做了，它就不会停止

这意味着所有可由该TM解决的问题都在p中。另一方面，有规则的TM用于及时解决问题。由于P是EXPTIME的适当子集，因此这两个模型并不等价

---

顺便说一句：图灵机通常只有一个磁带，因此复制到不同的磁带不是一种观点。

只能向右移动并停留的图灵机是图灵机的变体，是标准图灵机的子集。所以本质上它没有标准图灵机那么强大，但它仍然是一个TM

此外，组合多个图灵机磁带不会给您带来更多的计算能力，也完全等同于单个标准TM

（多个磁带仅在效率方面有利，而不是在计算方面。但由于TMs不关心效率，而只关心可计算性，因此这是不相关的）