Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?

Liste des GroupesRevenir à theory 
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.theory
Date : 03. Aug 2024, 21:14:25
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v8m331$3ju7r$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
User-Agent : Mozilla Thunderbird
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*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*DDD correctly emulated by HHH*
*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.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
6 Jul 25 o  …

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal