可计算性——图灵机可以计算输入的长度吗？

Question

我已经为这个看似微不足道的问题寻找答案，但我没有找到任何答案。

Can a Turing machine, given a word w, calculate the length of the word?

Answer 1

是的，当然！以下是需要考虑的事情：

• 如何设计 TM 来增加二进制数？
• 如何使用其他 TM 作为子程序来计算输入长度？

另一种观点：请记住，根据 Church-Turing 论文，您可以使用任何有效的计算模型做任何事情，您可以使用 TM 做任何事情，因此由于其他模型可以测量输入长度，因此 TM 也可以做到。