Wird geladen...
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...
Gespeichert in:
| Veröffentlicht in: | Beyond the Horizon of Computability |
|---|---|
| 1. Verfasser: | |
| Format: | Artigo |
| Sprache: | Inglês |
| Veröffentlicht: |
2020
|
| Schlagworte: | |
| Online Zugang: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7309483/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-51466-2_2 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|