Path: ...!news.nobody.at!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: D correctly simulated by H cannot possibly reach its own line 06
 and halt
Date: Fri, 31 May 2024 19:53:06 +0200
Organization: A noiseless patient Spider
Lines: 9
Message-ID: <v3d2q2$2b0jm$5@dont-email.me>
References: <v3a40t$1o2ef$1@dont-email.me> <v3asj2$2ihjj$2@i2pn2.org>
 <v3asv1$1s60g$1@dont-email.me> <v3bvg7$24rgd$1@dont-email.me>
 <v3cml5$28tmt$1@dont-email.me> <v3cqs8$29k17$2@dont-email.me>
 <v3crrg$29gdk$4@dont-email.me> <v3ct95$2a0fg$1@dont-email.me>
 <v3cvop$2agep$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 31 May 2024 19:53:06 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="ebb1cf1a7a0af37a2ba68e86e6688ae3";
	logging-data="2458230"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX191fs6TfRdO0MbVkb7/N/SC"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:SNVNpeoJ8V0kutAcmJBu6b3oyg8=
In-Reply-To: <v3cvop$2agep$1@dont-email.me>
Content-Language: en-US
Bytes: 1663

On 31/05/24 19:01, olcott wrote:
> *HERE IS THE ACTUAL POINT*
> Whether HH is a pure simulator that never halts on input DD or a pure
> function that halts on input DD there are no cases where DD correctly
> simulated by HH reach their own simulated final state at line 06.

If HH is a pure function that halts on input DD, it can return 0 or 1. 
If it returns 0, then DD halts.