Discrete Transfinite Computation

Philip Welch

We describe various computational models based initially, but not exclusively, on that of the Turing machine, that are generalized to allow for transfinitely many computational ste…