PP200627: Löwe, Benedikt (2006) Space bounds for infinitary computation. [Report]
Text (Full Text (PS))
PP200627.text.ps.gz Download (151kB) 


Text (Full Text (PDF))
PP200627.text.pdf Download (135kB)  Preview 

Text (Abstract)
PP200627.abstract.txt Download (1kB) 
Abstract
For an ordinary Turing machine that stops in a finite number $t of steps, it is easy to define its space usage: during its computation, it has used at most $t cells of the tape, possibly less. This finite number of used cells can serve as a measure of space usage. A halting computation will have used a finite amount of time and space; if, however, time or space usage are infinite, then this corresponds to usage of order type \omega and automatically implies that the computation was nonhalting. In this paper, we shall consider both HamkinsKidder machines and Koepke's Ordinal Machines. Koepke machines can not only extend their computation into transfinite ordinal time, but they also have ordinalindexed cells on their tapes. Therefore, there is a natural notion of space usage for computations on Koepke machines that corresponds to the classical idea of space constraints on Turing Machines: just count the number (order type) of cells being used. This is very different for HamkinsKidder machines whose space is constrained to a tape of order type \omega whereas time can have arbitrary ordinals as order type. This asymmetry makes is hard to give a definition of space usage that can be compared to time usage. In this paper, we discuss the basics of possible definitions for space constraints for the mentioned two types of infinitary Turing machine computations. In section 1, we give all definitions needed in the paper and then brie~y discuss space constraints for Koepke's machines in section 2 and space constraints for HamkinsKidder machines in section 3. Finally, in section 4, we discuss nondeterministic computation.
Item Type:  Report 

Report Nr:  PP200627 
Series Name:  Prepublication (PP) Series 
Year:  2006 
Uncontrolled Keywords:  infinitary computation; HamkinsKidder machines; ordinals; Koepke machines 
Subjects:  Computation 
Depositing User:  Benedikt 
Date Deposited:  12 Oct 2016 14:36 
Last Modified:  12 Oct 2016 14:36 
URI:  https://eprints.illc.uva.nl/id/eprint/202 
Actions (login required)
View Item 