Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: dbush <dbush.mobile@gmail.com>
Newsgroups: comp.theory
Subject: Re: Every sufficiently competent C programmer knows
Date: Mon, 10 Mar 2025 22:50:20 -0400
Organization: A noiseless patient Spider
Lines: 49
Message-ID: <vqo8dc$1lehl$2@dont-email.me>
References: <vqntaq$1jut5$1@dont-email.me>
 <473a9a152c792a48c83eea569551035994c9d04f@i2pn2.org>
 <vqo72u$1l6i0$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 11 Mar 2025 03:50:21 +0100 (CET)
Injection-Info: dont-email.me; posting-host="a18e50625e3912305b81945416784273";
	logging-data="1751605"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/xS72IB679EMiOcp6KmZfR"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:/csqaUX3x00IyLt2pqpK3FCEYKQ=
In-Reply-To: <vqo72u$1l6i0$2@dont-email.me>
Content-Language: en-US
Bytes: 2228

On 3/10/2025 10:27 PM, olcott wrote:
> On 3/10/2025 9:21 PM, Richard Damon wrote:
>> On 3/10/25 7:41 PM, olcott wrote:
>>> typedef void (*ptr)();
>>> int HHH(ptr P);
>>>
>>> void Infinite_Loop()
>>> {
>>>    HERE: goto HERE;
>>>    return;
>>> }
>>>
>>> void Infinite_Recursion()
>>> {
>>>    Infinite_Recursion();
>>>    return;
>>> }
>>>
>>> void DDD()
>>> {
>>>    HHH(DDD);
>>>    return;
>>> }
>>>
>>> int DD()
>>> {
>>>    int Halt_Status = HHH(DD);
>>>    if (Halt_Status)
>>>      HERE: goto HERE;
>>>    return Halt_Status;
>>> }
>>>
>>> That when HHH correctly emulates N steps of the
>>> above functions that none of these functions can
>>> possibly reach their own "return" instruction
>>> and terminate normally.
>>>
>>> Since HHH does see that same pattern that competent
>>> C programmers see it correctly aborts its emulation
>>> and rejects these inputs as non terminating.
>>>
>>
>> Problem: DD Isn't a program, and if you try to compile it, you will 
>> get an undiefined symbol HHH.
>>
> 
> HHH need not be a program 

Then HHH is disqualified