图灵机，如果它做了一定的动作，接受另一台图灵机

Question

是否可以构建一个turing-machine，其中包含另一个turing-machine和一个字符串作为输入，如果接收到的计算机会为该字符串进行左移或右移（或任何其他操作），是否可以接受？

Answer 1

没有。创建这样的机器需要求解halting problem。为了表明这一点，假设您的输入是图灵机 T ，我将其传递给另一台机器，该机器使用halt后跟turn left修改每个halt指令。然后我将这台新机器 T'送入您的候选机器。为了让您的机器正确检测 T'是否turn left，它必须解决暂停问题。