Re: Termination analyzer defined

On 5/10/24 8:30 PM, olcott wrote:

A termination analyzer is different than a halt decider in that it need
not correctly determine the halt status of every input. For the purposes
of this paper a termination analyzer only needs to correctly determine
the halt status of one terminating input and one non-terminating input.
The computer science equivalent would be a halt decider with a limited
domain that includes at least one halting and one non-halting input.
 

So, a Termination Analyzer that simulates 1 step and returns non-halting if it doesn't halt at that point is a correct termination analyzer?
There is at least one halting program it gets correct, and a lot of non-halting program it gets correct.
Doesn't sound like a very useful sort of machine.