Sujet : Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 04. Aug 2024, 14:53:34
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v8o14v$30uf$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12
User-Agent : Mozilla Thunderbird
On 8/4/2024 1:22 AM, Fred. Zwarts wrote:
Op 03.aug.2024 om 18:35 schreef olcott:
>>>> ∞ instructions of DDD correctly emulated by HHH[∞] never
reach their own "return" instruction final state.
>
So you are saying that the infinite one does?
>
Dreaming again of HHH that does not abort? Dreams are no substitute for facts.
The HHH that aborts and halts, halts. A tautology.
void DDD()
{
HHH(DDD);
return;
}
That is the right answer to the wrong question.
I am asking whether or not DDD emulated by HHH
reaches its "return" instruction.
The correct simulation of a halting program halts. A truism.
HHH cannot possibly simulate itself correctly.
So by correctly you must mean that HHH incorrectly
skips the call from DDD to HHH(DDD).
I am happy that you were not a member of our team when we developed simulators to check the design of big detector systems.
Crash dummy simulators?
Not x86 emulators.
We knew that a simulation is only correct if it matches the reality. But you seem to think that it is correct that a simulator does not match the reality.
The reality is that DDD does call HHH(DDD) in recursive
simulation. When you ignore this then you are out-of-touch
with reality.
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer