Re: olcott is still disagreeing with the semantics of simulation

On 7/1/2024 10:57 AM, joes wrote:

Am Mon, 01 Jul 2024 07:49:54 -0500 schrieb olcott:

On 7/1/2024 6:08 AM, Richard Damon wrote:

On 6/30/24 10:27 PM, olcott wrote:

On 6/30/2024 9:16 PM, Richard Damon wrote:

On 6/30/24 9:38 PM, olcott wrote:

On 6/30/2024 8:24 PM, Richard Damon wrote:

On 6/30/24 9:03 PM, olcott wrote: >> On 6/30/2024 7:44 PM, Richard
Damon wrote:

 

The call from DDD to HHH(DDD) when N steps of DDD are correctly
emulated by any pure function x86 emulator HHH at machine address
0000217a cannot possibly return.

But that is NOT the "behavior of the input", and CAN NOT BE SO
DEFINED.

 

DDD is  emulated by HHH which calls an emulated HHH(DDD) to
repeat the process until aborted.

And, since the HHH that DDD calls will abort is emulation, it WILL
return to DDD and it will return also.

Right.
 

The emulation stops, and the emulating behavor of HHH stops, but not
the behavior of the input.

When DDD is no longer being emulated all of its behavior stops. DDD is
the input.

Again: emulating does not change what the input does of its own. Aborting
an emulation is premature, as the input does not contain an abort.
 

*The title of this post is a lie*
*The title of this post is a lie*
*The title of this post is a lie*
void Infinite_Loop()
{
   HERE: goto HERE;
}
void Infinite_Recursion()
{
   Infinite_Recursion();
}
void DDD()
{
   HHH(DDD);
}
int main()
{
   HHH(Infinite_Loop);
   HHH(Infinite_Recursion);
   HHH(DDD);
}
*Each one of these cases meets this criteria*
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
     If simulating halt decider H correctly simulates its input D
     until H correctly determines that its simulated D would never
     stop running unless aborted then
     H can abort its simulation of D and correctly report that D
     specifies a non-halting sequence of configurations.
</MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer