标签： turing-machines turing-complete
我正在阅读有关图灵机的库克定理。在其证明中，据说图灵最多将采用n ^ k步（其中k为整数且k> 0）来计算长度为'n'的输入。
这可能是假设图灵机确实停止了给定的输入 进一步说，由于最多只有n ^ k个步骤，因此我们不需要无限的磁带。带有n ^ k个元素的磁带就足够了，因为车削机的行程不会超过该行程
为什么我们说图灵机最多需要n ^ k步？