图灵机可以超过磁带的开头吗？

Question

我有一个关于车床的非常简单的问题。

如果它采取的第一个动作包括倒带，它是否会回到起点或这是一个特殊情况，它是否会保留在起点？

Answer 1

图灵机中的磁带在两个方向都是无限的;通常假设开头之前的所有内容都填充了0。

Answer 2

这实际上取决于您使用的形式。一些形式主义的磁带在两个方向上都是无限可扩展的，而另一个则具有左端。在左翼阵营中，还有更多的细分。有人说当机器从磁带的左端移开时机器出现故障或没有输出（我正在考虑Hamkins和Miasnikov停止概率的工作），而其他人则在最左边的磁带单元中强制使用一个特殊的，不可重写的标记（Kozen在他的Automata and Computability教科书中做到了这一点）。这些形式主义都是基本相同的，所以大多数人都不会对此大做文章，只是使用最方便的应用程序。

Answer 3

磁带在两个方向上都是无限可扩展的。 Wikipedia有这样的说法：

  

被分成单元格的磁带，一个紧挨着另一个。每个单元格包含来自某些有限字母表的符号。字母表包含一个特殊的空白符号（此处写为“B”）和一个或多个其他符号。假设磁带可以向左和向右任意扩展，即图灵机总是提供尽可能多的磁带，用于计算。