Path: ...!feeds.phibee-telecom.net!2.eu.feeder.erje.net!feeder.erje.net!fdn.fr!usenet-fr.net!news.gegeweb.eu!gegeweb.org!.POSTED.156.170.88.92.rev.sfr.net!not-for-mail
From: tTh <tth@none.invalid>
Newsgroups: comp.lang.c
Subject: Re: Can D correctly simulated by H reach its own line 06 and halt?
Date: Wed, 22 May 2024 06:45:47 +0200
Organization: none
Message-ID: <v2jt9s$24ik$1@news.gegeweb.eu>
References: <cone.1716292116.659769.408188.1004@monster.email-scan.com>
 <v2i81v$jvcs$2@dont-email.me> <v2ir5p$noij$1@dont-email.me>
 <v2is7l$o1re$1@dont-email.me>
 <cone.1716328542.501453.444272.1004@monster.email-scan.com>
 <v2j61t$pqna$1@dont-email.me>
 <cone.1716341492.839992.469710.1004@monster.email-scan.com>
 <v2jkt3$vqej$3@dont-email.me> <v2jqq1$10qa6$2@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 22 May 2024 04:45:48 -0000 (UTC)
Injection-Info: news.gegeweb.eu; posting-account="tontonth@usenet.local"; posting-host="156.170.88.92.rev.sfr.net:92.88.170.156";
	logging-data="70228"; mail-complaints-to="abuse@gegeweb.eu"
User-Agent: Mozilla Thunderbird
In-Reply-To: <v2jqq1$10qa6$2@dont-email.me>
Content-Language: en-US
Cancel-Lock: sha256:zmyVuG5o+uIFKWkh7HvPs1geVheSA1ZIxsIOlXFwqTc=
Bytes: 1862
Lines: 14

On 5/22/24 06:03, olcott wrote:
>>
>> This provides the basis for simulating termination analyzer H to
>> correctly determine that the halting problem's counter-example
>> input D cannot possibly halt.
>>
> test

    But did you even try unplugging your computer?

-- 
+---------------------------------------------------------------------+
|          https://tube.interhacker.space/a/tth/video-channels        |
+---------------------------------------------------------------------+