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

On 6/19/2024 12:32 PM, joes wrote:

Am Wed, 19 Jun 2024 12:16:28 -0500 schrieb olcott:

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:

 

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*
[blah blah Sipser]

Oh, a simulator can just say "lemme stop your infinite loop"?
Your H is unable to produce identical behaviour.
 

Professor Sipser is not wrong.
After Professor Sipser agreed with me Ben Bacarisse was so
upset that he was wrong for all of these years that he made
a very active campaign to get people to stop talking to me.
On 10/14/2022 7:44 PM, Ben Bacarisse wrote:
 > I don't think that is the shell game. PO really /has/ an H
 > (it's trivial to do for this one case) that correctly determines
 > that P(P) *would* never stop running *unless* aborted.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer