Topology
Michael B. Smyth · 1992
Abstract Consider a device which outputs a binary sequence. We suppose that the device continues for ever, and also that there is no bound on the time taken to compute each digit. Thus the device may produce an infinite sequence, but may also ‘diverge’, that is, produce some finite sequence and then compute for ever without further output.