Clockability for Ordinal Turing Machines

被引：0
|
作者：
Carl, Merlin [1 ]
机构：
[1] Europa Univ Flensburg, Inst Math Naturwissenschaftliche & Tech Bldg, Abt Math & Ihre Didakt, Flensburg, Germany
来源：
BEYOND THE HORIZON OF COMPUTABILITY, CIE 2020 | 2020年 / 12098卷
关键词：
D O I：
10.1007/978-3-030-51466-2_2
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We study clockability for Ordinal Turing Machines (OTMs). In particular, we show that, in contrast to the situation for ITTMs, admissible ordinals can be OTM-clockable, that Sigma(2)-admissible ordinals are never OTM-clockable and that gaps in the OTM-clockable ordinals are always started by admissible limits of admissible ordinals. This partially answers two questions in [3].
引用
收藏
页码：14 / 25
页数：12
相关论文
共 50 条
  • [21] Graph Turing Machines
    Ackerman, Nathanael L.
    Freer, Cameron E.
    LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION: 24TH INTERNATIONAL WORKSHOP, WOLLIC 2017, LONDON, UK, JULY 18-21, 2017, PROCEEDINGS, 2017, 10388 : 1 - 13
  • [22] Token Turing Machines
    Ryoo, Michael S.
    Gopalakrishnan, Keerthana
    Kahatapitiya, Kumara
    Xiao, Ted
    Rao, Kanishka
    Stone, Austin
    Lu, Yao
    Ibarz, Julian
    Arnab, Anurag
    2023 IEEE/CVF CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION (CVPR), 2023, : 19070 - 19081
  • [23] Noisy turing machines
    Asarin, E
    Collins, P
    AUTOMATA, LANGUAGES AND PROGRAMMING, PROCEEDINGS, 2005, 3580 : 1031 - 1042
  • [24] STRUCTURED TURING MACHINES
    PRATHER, RE
    INFORMATION AND CONTROL, 1977, 35 (02): : 159 - 171
  • [25] Involutory Turing Machines
    Nakano, Keisuke
    REVERSIBLE COMPUTATION (RC 2020), 2020, 12227 : 54 - 70
  • [26] Reactive Turing machines
    Baeten, Jos C. M.
    Luttik, Bas
    van Tilburg, Paul
    INFORMATION AND COMPUTATION, 2013, 231 : 143 - 166
  • [27] Wittgenstein and Turing machines
    Wagner, P
    REVUE DE METAPHYSIQUE ET DE MORALE, 2005, (02): : 181 - 196
  • [28] Symmetric Instruction Machines and Symmetric Turing Machines
    Burgin, Mark
    Schroeder, Marcin J.
    PHILOSOPHIES, 2025, 10 (01)
  • [29] Decision problems for Turing machines
    Finkel, Olivier
    Lecomte, Dominique
    INFORMATION PROCESSING LETTERS, 2009, 109 (23-24) : 1223 - 1226
  • [30] Small deterministic Turing machines
    Universitaet Hamburg, Hamburg, Germany
    Theor Comput Sci, 2 (241-255):
12345