लोड हो रहा है...

Clockability for Ordinal Turing Machines

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 [Formula: see text]-admissible ordinals are never OTM-clockable and that gaps in the OTM-clockable ordinals are always started...

पूर्ण विवरण

में बचाया:
ग्रंथसूची विवरण
में प्रकाशित:Beyond the Horizon of Computability
मुख्य लेखक: Carl, Merlin
स्वरूप: Artigo
भाषा:Inglês
प्रकाशित: 2020
विषय:
ऑनलाइन पहुंच:https://ncbi.nlm.nih.gov/pmc/articles/PMC7309483/
https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-51466-2_2
टैग : टैग जोड़ें
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!