Re: Simulating termination analyzers by dummies --- What does halting mean?

On 6/19/24 1:16 PM, olcott wrote:

On 6/19/2024 11:43 AM, joes wrote:

Am Wed, 19 Jun 2024 09:23:04 -0500 schrieb olcott:

On 6/19/2024 6:30 AM, Richard Damon wrote:

On 6/18/24 10:51 PM, olcott wrote:

>
Thus according to your faulty reasoning when the source-code of a C
program is simulated by interpreter this is mere nonsense gibberish
having nothing to do what the behavior that this source-code
specifies.

IF you can show that a given simulation will produce the exact same
results as the direct execution of the program, then the simulation
will show the actual behavior of the program.
Now, if it doesn't. then it is gibberish.

No matter how much you try to simply ignore the verified fact that the
pathological relationship between an input and its termination analyzer
changes the behavior of this emulated input relative to the behavior of
its direct execution THIS VERIFIED FACT WILL NOT GO AWAY.

That's just wrong. A program/machine has a fixed behaviour.
>

You could say the SIMULATION didn't terminate normally, but you can't
say the machine didn't or even the Turing Machine Description, as you
could give that exact same TMD to a real UTM and find out the actual
behavior of the input.

Sure you can otherwise interpreters of source-code would be a bogus
concept.

Right, a CORRECT simulation is one that produces the same result as the
original.

No. A correctly simulation is when each machine language instruction of
the input is correctly simulated and simulated in the correct order.

And completely.
>

 *WRONG*
 Introduction to the Theory of Computation, by Michael Sipser
https://www.amazon.com/Introduction-Theory-Computation-Michael-Sipser/dp/113318779X/
 <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 words10/13/2022>
 

And his definition of "Correctly Simulated" is a simulation that completely recreates the behavior of the input, which H does not do, nor does it correctly predicts about, since the input Halts because your decider says it doesn't
So, you are just caught repeating the lie that you have had explained a number of times, and thus can't be an honest mistale, but just evidence that you are nothing but an ignorant Pathological Liar.