Re: Termination analyzer defined

On 5/11/2024 1:51 AM, Fred. Zwarts wrote:

Op 11.mei.2024 om 02:30 schreef olcott:

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.
>
>

 Is this the complete definition?

*termination analyzer* is a standard term-of-the-art.
Because of than when people said my term was undefined
they were being untruthful.
I am working on providing an academic quality definition
of {termination analyzer} and {simulator} that are already
common terms-of-the-art.
No one should have ever said that these terms are undefined
because they are common terms of the art. None-the-less I
am working on providing academic quality definitions of these
conventional terms-of-the-art terms.

So, if something returns true if the input string has an even number of characters and returns false it it is an odd number of characters, it is a termination analyzer according to this definition?

If you want to tell intentional falsehoods about conventional
terms-of-the-art feel free, this is on your credibility not mine.

If not, then this is not a correct definition. A correct definition is needed.

I am working on providing academic quality definitions for these
conventional terms-of-the-art terms.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer