Path: ...!Xl.tags.giganews.com!local-4.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Fri, 02 Aug 2024 02:12:16 +0000
Date: Thu, 1 Aug 2024 21:12:16 -0500
MIME-Version: 1.0
User-Agent: Mozilla Thunderbird
Subject: Re: Everyone here seems to consistently lie about this ---
Newsgroups: comp.theory
References: <v8hf52$2jl7d$1@dont-email.me>
Content-Language: en-US
From: olcott <NoOne@NoWhere.com>
In-Reply-To: <v8hf52$2jl7d$1@dont-email.me>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Message-ID: <KNqcndx8Sacd3TH7nZ2dnZfqlJ-dnZ2d@giganews.com>
Lines: 39
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-WPn8MfkUdJtZBebDz7fQjqkI4QkyG7gSqrMwvvkFxY0S2Vzwc+peyxvpknML39QdUnyNY/M0E3kVOza!9wpjep4KwIiqWmp4th2zCnKV4imuQ3GjY2F13Mem6ck/+fBY/cXSCQh6+HdFlVC1x1JPx5sCo+o=
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
Bytes: 2506

*This algorithm is used by all the simulating termination analyzers*
<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>

DDD is correctly emulated by HHH according to the x86
language semantics of DDD and HHH including when DDD
emulates itself emulating DDD

*UNTIL*

HHH correctly determines that never aborting this
emulation would cause DDD and HHH to endlessly repeat.

When I say everyone I mean:
Joes, Fred, Richard, Mike, Mikko, Andy, André...

*Excluding only Ben Bacarisse*
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.
....
 > But H determines (correctly) that D would not halt if
 > it were not halted.  That much is a truism.

-- 
Copyright 2024 Olcott

"Talent hits a target no one else can hit;
  Genius hits a target no one else can see."
  Arthur Schopenhauer