Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.lang.c,comp.lang.c++
Subject: Re: Can D correctly simulated by H reach its own line 06 and halt?
Date: Tue, 21 May 2024 18:07:39 -0500
Organization: A noiseless patient Spider
Lines: 38
Message-ID: <v2j9fs$qd0f$1@dont-email.me>
References: <cone.1716247265.849807.395262.1004@monster.email-scan.com>
 <v2gm90$7osh$1@dont-email.me>
 <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> <v2j6it$ptgk$1@dont-email.me>
 <v2j6mj$ptgk$2@dont-email.me> <v2j788$pqna$2@dont-email.me>
 <v2j7hp$ptgg$1@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 01:07:40 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="9557ecc38a2c6e613b1947df9dd7fc56";
	logging-data="865295"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18TOy63hIQOBx2YxOJfZQgF"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:S9GGr291/ETVIz35nYyp0LNv9os=
In-Reply-To: <v2j7hp$ptgg$1@dont-email.me>
Content-Language: en-US
Bytes: 2949

On 5/21/2024 5:34 PM, Chris M. Thomasson wrote:
> On 5/21/2024 3:29 PM, olcott wrote:
>> On 5/21/2024 5:20 PM, Chris M. Thomasson wrote:
>>> On 5/21/2024 3:18 PM, Chris M. Thomasson wrote:
>>>> On 5/21/2024 3:09 PM, olcott wrote:
>>>> [...]
>>>>> I have two fully operational versions of H that run under Windows
>>>>> and Linux. Those are off topic.
>>>> [...]
>>>>
>>>> Oh, how nice. lol.
>>>>
>>>
>>> Show me some pseudo code of H? ;^)
>>
>> Once you understand my code template then it is easy to see how > 
>> termination analyzer H would correctly determine the termination
>> status of its input D. Thousands of lines of C code would only
>> make this much harder to understand.
>>
> 
> You think I want to think up thousands of lines of C code to try to read 
> your odd mind wrt H? Post them. It's C code, right? No wonder you do not 
> want to expose it to a black box program to see if it halts or not... Yawn.
> 

It is essentially trivial to see that D correctly simulated by H
cannot possibly reach its own final state at line 06 because
D correctly simulated by H remains stuck in recursive simulation.

*That <is> the complete essence of my thousands of lines of code*
*That <is> the complete essence of my thousands of lines of code*
*That <is> the complete essence of my thousands of lines of code*

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