Liste des Groupes | Revenir à c theory |
On 5/10/24 8:30 PM, olcott wrote:The term *termination analyzer* is well defined in the art.A termination analyzer is different than a halt decider in that it needSo, a Termination Analyzer that simulates 1 step and returns non-halting if it doesn't halt at that point is a correct termination analyzer?
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.
>
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.
Les messages affichés proviennent d'usenet.