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

Preview 
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 