Liste des Groupes | Revenir à s logic |
On 5/10/2024 7:30 PM, olcott wrote:Do you have a reference which uses that definition?A termination analyzer is different than a halt decider in that it needSo all the people that said termination analyzer WAS NOT DEFINED
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.
>
>
never meant that termination analyzer WAS NOT DEFINED. They all
meant that it was not defined well enough directly in my paper
even though it it a current term-of-the-art.
Les messages affichés proviennent d'usenet.