Sujet : Re: Proving the: Simulating termination analyzer Principle
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.lang.cDate : 06. Apr 2025, 04:30:14
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vsssg6$d1q$2@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10
User-Agent : Mozilla Thunderbird
On 4/5/2025 8:21 PM, Richard Heathfield wrote:
On 06/04/2025 01:43, olcott wrote:
On 4/5/2025 7:34 PM, dbush wrote:
On 4/5/2025 8:30 PM, olcott wrote:
On 4/5/2025 5:27 PM, dbush wrote:
On 4/5/2025 6:18 PM, Richard Heathfield wrote:
On 05/04/2025 22:31, dbush wrote:
On 4/5/2025 5:29 PM, olcott wrote:
On 4/5/2025 4:15 PM, dbush wrote:
On 4/5/2025 4:52 PM, olcott wrote:
*Simulating termination analyzer Principle*
It is always correct for any simulating termination
analyzer to stop simulating and reject any input that
would otherwise prevent its own termination.
>
void DDD()
{
HHH(DDD);
return;
}
>
Except when doing so would change the input, as is the case with HHH and DDD.
>
Changing the input is not allowed.
>
You may disagree that the above definition
of simulating termination analyzer is correct.
>
It is self-evident that HHH must stop simulating
DDD to prevent its own non-termination.
>
>
Changing the input is not allowed.
>
You're right, but it doesn't matter very much as long as terminates() *always* gets the answer right for any arbitrary program tape and any data tape. Mr Olcott's fails to do that.
>
>
Of course you're correct. His criteria is basically what happens if you replace the code of X with a pure simulator and run X(Y) for some Y.
>
>
Everyone else seems to think that the correct way
to handle a pathological relationship between an
input and a termination analyzer is to simply ignore
the differences that this makes. THAT CAN'T BE RIGHT !!!
>
>
Ignoring the relationship is exactly what you do when you change the code of HHH, thereby changing the input.
>
Changing the input is not allowed.
>
Ignoring the fact that the pathological
relationship between the input and the
termination analyzer changes the behavior
of the input is certainly incorrect.
The analyser is supposed to report on the behaviour of the input program as is, not a mutated version.
The pathological relationship DOES CHANGE THE BEHAVIOR.
THIS CANNOT BE CORRECTLY IGNORED.
REPORTING ON THIS CHANGED BEHAVIOR CANNOT BE INCORRECT.
-- Copyright 2025 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer
Proving the: Simulating termination analyzer Principle
Re: Proving the: Simulating termination analyzer Principle