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; Geniushits a target no one else can see." Arthur Schopenhauer