只有一条纸带的无限时间图灵机
摘要：无限时间的图灵机（只有一条纸带）在很多方面与多带图灵机一样强大。特别地，这两种机器模型会得到相同的可决集合类、相同的程度结构，并且至少对于函数f:R-->N，得到相同的可计算函数类。然而，存在一些无限时间可计算的函数f:R-->R，在单带机器上是不可计算的，因此这两种超任务计算模型是不等价的。令人惊讶的是，单带可计算函数的类不封闭于复合运算；但是封闭它可以得到所有无限时间可计算函数的完整类别。最后，每一个能被无限时间图灵机计时的序数都可以被一台单带机器计时，除了某些结束可计时序数间隔的孤立的序数。
作者：Joel David Hamkins (CUNY) and Daniel Evan Seabold (Hofstra University)
论文ID：math/9907044
分类：Logic
分类简称：math.LO
提交时间：2007-05-23