Sujet : Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 03. Aug 2024, 21:52:21
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v8m5a5$3kbok$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
User-Agent : Mozilla Thunderbird
On 8/3/2024 3:45 PM, Richard Damon wrote:
On 8/3/24 4:14 PM, olcott wrote:
On 8/3/2024 3:00 PM, Richard Damon wrote:
On 8/3/24 3:06 PM, olcott wrote:
On 8/3/2024 1:58 PM, Richard Damon wrote:
On 8/3/24 2:33 PM, olcott wrote:
On 8/3/2024 1:09 PM, Richard Damon wrote:
On 8/3/24 1:58 PM, olcott wrote:
Every DDD correctly emulated by any HHH for a finite or
infinite number of steps never reaches its own "return"
halt state.
>
>
Nope. And you statment is just a incoherent statement, as no partial simulaitoni for a finite number of steps is "correct".
>
>
In other words you are trying to get away with saying that
when N instructions are correctly emulated by HHH that none
of these correctly emulated instructions were correctly emulated.
>
No, I am saying that the result is NOT the final result that the x86 semantics says will happen, because the x86 semantics says it does not stop therme
>
>
The x86 semantics says that DDD correctly emulated by HHH
never reaches its own halt state of "return" in any finite
or infinite number of steps.
>
>
>
But only if HHH DOES correct emulation that never aborts.
>
>
The x86 semantics says that
*DDD correctly emulated by HHH*
...
*DDD correctly emulated by HHH*
never reaches its own halt state of
"return" in any finite
or infinite number of steps.
Yes, but only for an HHH that corectly emulates its input, which means it never aborts, and only for the DDD that calls THAT HHH.
*No you damned liar it does not mean that*
It means that when 0 to infinity steps of DDD are
correctly emulated by its corresponding HHH not a
single DDD ever reaches its own halt state of "return".
This means that every HHH can take a wild guess that
its DDD does not halt and it would be correct because
we exhaustively covered every damn one of them.
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer
…