Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Richard Heathfield <rjh@cpax.org.uk>
Newsgroups: comp.lang.c
Subject: Re: DD simulated by HHH cannot possibly halt (Halting Problem)
Date: Sat, 5 Apr 2025 21:30:04 +0100
Organization: Fix this later
Lines: 38
Message-ID: <vss3se$35rqb$1@dont-email.me>
References: <vsnchj$23nrb$2@dont-email.me> <vsngo6$26agq$1@dont-email.me>
 <vsnh44$26c94$3@dont-email.me> <vsnht7$26agq$2@dont-email.me>
 <vsnlvv$2h8pt$1@dont-email.me> <vsnnb5$2g4cd$2@dont-email.me>
 <vsnnug$2h8pt$2@dont-email.me> <vsnou2$2g4cd$5@dont-email.me>
 <vspqmt$o89d$1@dont-email.me> <vsq97g$19eo9$1@dont-email.me>
 <vsqhov$1hl94$1@dont-email.me> <vsqmth$1mglg$2@dont-email.me>
 <vsrk17$2le7u$1@dont-email.me> <vsrlh7$2n0kg$1@dont-email.me>
 <vsrrnl$2ssgf$3@dont-email.me> <vsrtp0$2sut0$2@dont-email.me>
 <vsrun6$2ssgf$5@dont-email.me> <vsrvao$2sut0$3@dont-email.me>
 <vsrvsd$317k3$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 05 Apr 2025 22:30:09 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="9ba5473c49a0346d8825952a0365662d";
	logging-data="3338059"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19fUJsFh9QipCQ+FCqOq8cZDaVFMMKZfCFWVsNyCoeliQ=="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:VKbBqxX0XMcZcfubWZegEPu+BPA=
In-Reply-To: <vsrvsd$317k3$1@dont-email.me>
Content-Language: en-GB
Bytes: 2593

On 05/04/2025 20:21, olcott wrote:
> On 4/5/2025 2:12 PM, Richard Heathfield wrote:
>> On 05/04/2025 20:01, olcott wrote:
>>> As any C programmer can see DDD simulated by HHH would cause
>>> any correct simulator to get stuck in recursive simulation
>>
>> As any C programmer can see, any C compiler is free to reject 
>> your code, 
> 
> typedef void (*ptr)();
> int HHH(ptr P);
> 
> void DDD()
> {
>    HHH(DDD);
>    return;
> }
> 
> The above code is correct to the extent that some
> HHH is defined somewhere, so it seems that you are
> wrong

No, you just don't know what I'm talking about. That doesn't 
surprise me, of course.

I'm talking about your HHH code. Any conforming compiler can 
reject your assembly language inserts.

> and trying to change the subject.

Variety is the spice of life.

-- 
Richard Heathfield
Email: rjh at cpax dot org dot uk
"Usenet is a strange place" - dmr 29 July 1999
Sig line 4 vacant - apply within