HYPERMACHINES
HYPERMACHINES
复制标题
DOI：
10.2178/jsl/1305810767
复制
发表时间：
2011-06-01
影响因子：
0.6
通讯作者：
Welch, P. D.
中科院分区：
文献类型：
--
作者：
Friedman, Sy-David;Welch, P. D.
Hamkins和Kidder的无限时间图灵机模型[8]在本质上是一个“Sigma（2）-机器”，因为它使用Sigma（2）Liminf规则来确定有限时间阶段的单元值。我们给出了这些机器的推广与适当的Sigma（n）规则。这样的机器通过阶段zeta（n）=（df）mu zeta（n）停止或进入无限循环[存在Sigma（n）> zeta（n）L-zeta（n）]
The Infinite Time Turing Machine model [8] of Hamkins and Kidder is, in an essential sense, a "Sigma(2)-machine" in that it uses a Sigma(2) Liminf Rule to determine cell values at limit stages of time. We give a generalisation of these machines with an appropriate Sigma(n) rule. Such machines either halt or enter an infinite loop by stage zeta(n) =(df) mu zeta(n)[there exists Sigma(n) > zeta (n) L-zeta(n)