A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Characteristics of discrete transfinite time Turing machine models: Halting times, stabilization times, and Normal Form theorems
2009
Theoretical Computer Science
We give an acount of the basic determinants of the courses of computation of the Infinite Time Turing Machine model of Hamkins and Kidder, a model of computation which allows for transfinitely many steps of computation, and therefore may accept and output infinite strings of bits. We provide, inter alia, a Normal form Theorem, and a characterisation of which ordinals start gaps in halting times of such machines.
doi:10.1016/j.tcs.2008.09.050
fatcat:xixekgzcrbhb5eirbnoirhusoe