Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: immibis <news@immibis.com>
Newsgroups: comp.theory
Subject: Re: Every D(D) simulated by H presents non-halting behavior to H ###
Date: Wed, 22 May 2024 07:41:57 +0200
Organization: A noiseless patient Spider
Lines: 23
Message-ID: <v2k0j5$11pik$2@dont-email.me>
References: <v18e32$1vbql$1@dont-email.me> <v1vsru$7eqc$1@dont-email.me>
 <v21r4i$otc2$2@dont-email.me> <v22k4b$umr4$1@dont-email.me>
 <v24oah$1h4u3$1@dont-email.me> <v256fc$1kais$1@dont-email.me>
 <v27d05$25ga0$1@dont-email.me> <v2838r$29rd7$1@dont-email.me>
 <v2a8th$2ps09$1@dont-email.me> <v2ag75$2r74q$1@dont-email.me>
 <66495b78$0$2422110$882e4bbb@reader.netnews.com>
 <v2br8f$36n5f$2@dont-email.me> <v2cq45$1g2n9$2@i2pn2.org>
 <v2dl1i$3hgkg$3@dont-email.me> <v2f4ds$3tj41$1@dont-email.me>
 <v2fe1h$3vicu$1@dont-email.me> <v2h904$ecbj$1@dont-email.me>
 <v2hpv5$hfkg$3@dont-email.me> <v2ifo9$lhu7$2@dont-email.me>
 <v2ih2b$lqek$2@dont-email.me> <v2jipv$1no6v$5@i2pn2.org>
 <875xv6k081.fsf@nosuchdomain.example.com> <v2jqcd$1o1ne$2@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 22 May 2024 07:41:58 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="0c060a11e64fa90bd62be35fa11b1105";
	logging-data="1107540"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/TpBO2LPIL2GHL9ZiT47kj"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:mLruJzKvP3uMlYMbpjuMu95P3EU=
In-Reply-To: <v2jqcd$1o1ne$2@i2pn2.org>
Content-Language: en-US
Bytes: 2570

On 22/05/24 05:55, olcott wrote:
> On 5/21/2024 10:13 PM, Keith Thompson wrote:
>> Richard Damon <richard@damon-family.org> writes:
>> [snip]
>>
>> Richard, will you *please* drop comp.lang.c from your posts on
>> this thread, at least for posts with no C content?  olcott is not
>> persuadable, but perhaps you are.
>>
> 
> I have stayed focused on the C and people kept totally
> ignoring the C so I had to explain what the C is important.
> 
> D correctly simulated by H cannot possibly reach its own final
> state at line 06 and halt because D correctly simulated by
> H remains stuck in recursive simulation.
> 
> This provides the basis for simulating termination analyzer H to
> correctly determine that the halting problem's counter-example
> input D cannot possibly halt.
> 

the person you are talking to cannot see your message