Re: Hypothetical possibilities --- stupid rebuttal

On 8/1/2024 3:02 AM, Mikko wrote:

On 2024-07-30 18:42:27 +0000, olcott said:
 

On 7/28/2024 3:10 AM, Mikko wrote:

On 2024-07-27 14:45:21 +0000, olcott said:
>

On 7/27/2024 9:28 AM, Alan Mackenzie wrote:

olcott <polcott333@gmail.com> wrote:

On 7/27/2024 1:54 AM, Mikko wrote:

If a simulator correctly simulates a finite number of instructions
where x86 program specifies an execution of an infinite number of
instructions then the simulation deviates from x86 semantics at the
point where the simulation stops but the x86 semantics specify
countinuation.

>
>

In other words you believe that instead of recognizing a
non-halting behavior pattern, then aborting the simulation
and rejecting the input as non-halting the termination
analyzer should just get stuck in recursive simulation?

>
You're doing it again.  "In other words" is here a lie; you've just
replaced Mikko's words with something very different.
>

>
He just said that the simulation of a non-terminating input
is incorrect unless it is simulated forever.

>
I said it deviates form the x86 semantics. I didn't say whether it is
incorrect to deviate from x86 semantics.

>
The measure of DDD correctly emulated by HHH
    until HHH correctly determines that its emulated DDD would never
     stop running unless aborted...
>
is that the emulation of DDD by HHH
*DOES NOT DEVIATE FROM THE X86 SEMANTICS*

 Whether the determination is correct is not proven.

That you lack sufficient technical competence to
understand that something has been proved is much
less than no actual rebuttal at all.

Anyway, at that point
the emulation is not complete so by x86 langage rules the execution must
be continued. Termination at that point is a violation of x86 semantics.
 

*To help your attention deficit disorder. This works for Richard*
*To help your attention deficit disorder. This works for Richard*
*To help your attention deficit disorder. This works for Richard*
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
     *simulating halt decider H correctly simulates its input D*
     *until H correctly determines that its simulated D would never*
     *stop running unless aborted*
</MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
     *simulating halt decider H correctly simulates its input D*
     *until H correctly determines that its simulated D would never*
     *stop running unless aborted*
</MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
     *simulating halt decider H correctly simulates its input D*
     *until H correctly determines that its simulated D would never*
     *stop running unless aborted*
</MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
     *simulating halt decider H correctly simulates its input D*
     *until H correctly determines that its simulated D would never*
     *stop running unless aborted*
</MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
     *simulating halt decider H correctly simulates its input D*
     *until H correctly determines that its simulated D would never*
     *stop running unless aborted*
</MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
     *simulating halt decider H correctly simulates its input D*
     *until H correctly determines that its simulated D would never*
     *stop running unless aborted*
</MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
     *simulating halt decider H correctly simulates its input D*
     *until H correctly determines that its simulated D would never*
     *stop running unless aborted*
</MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
     *simulating halt decider H correctly simulates its input D*
     *until H correctly determines that its simulated D would never*
     *stop running unless aborted*
</MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
     *simulating halt decider H correctly simulates its input D*
     *until H correctly determines that its simulated D would never*
     *stop running unless aborted*
</MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
     *simulating halt decider H correctly simulates its input D*
     *until H correctly determines that its simulated D would never*
     *stop running unless aborted*
</MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
     *simulating halt decider H correctly simulates its input D*
     *until H correctly determines that its simulated D would never*
     *stop running unless aborted*
</MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
     *simulating halt decider H correctly simulates its input D*
     *until H correctly determines that its simulated D would never*
     *stop running unless aborted*
</MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
     *simulating halt decider H correctly simulates its input D*
     *until H correctly determines that its simulated D would never*
     *stop running unless aborted*
</MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
     *simulating halt decider H correctly simulates its input D*
     *until H correctly determines that its simulated D would never*
     *stop running unless aborted*
</MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
     *simulating halt decider H correctly simulates its input D*
     *until H correctly determines that its simulated D would never*
     *stop running unless aborted*
</MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
     *simulating halt decider H correctly simulates its input D*
     *until H correctly determines that its simulated D would never*
     *stop running unless aborted*
</MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
     *simulating halt decider H correctly simulates its input D*
     *until H correctly determines that its simulated D would never*
     *stop running unless aborted*
</MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
     *simulating halt decider H correctly simulates its input D*
     *until H correctly determines that its simulated D would never*
     *stop running unless aborted*
</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