Re: DD simulated by HHH cannot possibly halt (Halting Problem)

Liste des GroupesRevenir à cl c  
Sujet : Re: DD simulated by HHH cannot possibly halt (Halting Problem)
De : rjh (at) *nospam* cpax.org.uk (Richard Heathfield)
Groupes : comp.lang.c
Date : 05. Apr 2025, 21:30:04
Autres entêtes
Organisation : Fix this later
Message-ID : <vss3se$35rqb$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
User-Agent : Mozilla Thunderbird
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

Date Sujet#  Auteur
4 Apr 25 * DDD simulated by HHH cannot possibly halt (Halting Problem)52olcott
4 Apr 25 +- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1olcott
4 Apr 25 +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)49Richard Heathfield
4 Apr 25 i+* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)47olcott
4 Apr 25 ii`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)46Richard Heathfield
4 Apr 25 ii `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)45olcott
4 Apr 25 ii  `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)44Richard Heathfield
4 Apr 25 ii   `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)43olcott
4 Apr 25 ii    `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)42Richard Heathfield
5 Apr 25 ii     `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)41olcott
5 Apr 25 ii      `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)40Richard Heathfield
5 Apr 25 ii       `* DD simulated by HHH cannot possibly halt (Halting Problem)39olcott
5 Apr 25 ii        `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)38Richard Heathfield
5 Apr 25 ii         `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)37olcott
5 Apr 25 ii          +* Re: DD simulated by HHH cannot possibly halt (Halting Problem)33dbush
5 Apr 25 ii          i+* Re: DD simulated by HHH cannot possibly halt (Halting Problem)3olcott
5 Apr 25 ii          ii`* Re: DD simulated by HHH cannot possibly halt (Halting Problem)2dbush
5 Apr 25 ii          ii `- Re: DD simulated by HHH cannot possibly halt (Halting Problem)1olcott
5 Apr 25 ii          i`* Re: DD simulated by HHH cannot possibly halt (Halting Problem)29olcott
5 Apr 25 ii          i `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)28Richard Heathfield
5 Apr 25 ii          i  `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)27olcott
5 Apr 25 ii          i   +* Re: DD simulated by HHH cannot possibly halt (Halting Problem)16Richard Heathfield
5 Apr 25 ii          i   i+* Re: DD simulated by HHH cannot possibly halt (Halting Problem)13olcott
5 Apr 25 ii          i   ii`* Re: DD simulated by HHH cannot possibly halt (Halting Problem)12Richard Heathfield
5 Apr 25 ii          i   ii `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)11olcott
5 Apr 25 ii          i   ii  `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)10Richard Heathfield
6 Apr 25 ii          i   ii   `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)9olcott
6 Apr 25 ii          i   ii    `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)8Richard Heathfield
6 Apr 25 ii          i   ii     `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)7olcott
6 Apr 25 ii          i   ii      +* Re: DD simulated by HHH cannot possibly halt (Halting Problem)5Richard Heathfield
6 Apr 25 ii          i   ii      i+* Re: DD simulated by HHH cannot possibly halt (Halting Problem)3Keith Thompson
6 Apr 25 ii          i   ii      ii+- Re: DD simulated by HHH cannot possibly halt (Halting Problem)1Richard Heathfield
6 Apr 25 ii          i   ii      ii`- Re: DD simulated by HHH cannot possibly halt (Halting Problem)1olcott
6 Apr 25 ii          i   ii      i`- Re: DD simulated by HHH cannot possibly halt (Halting Problem)1olcott
6 Apr 25 ii          i   ii      `- Re: DD simulated by HHH cannot possibly halt (Halting Problem)1dbush
5 Apr 25 ii          i   i+- Re: DD simulated by HHH cannot possibly halt (Halting Problem)1Janis Papanagnou
6 Apr 25 ii          i   i`- Re: DD simulated by HHH cannot possibly halt (Halting Problem)1bart
5 Apr 25 ii          i   `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)10dbush
5 Apr 25 ii          i    `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)9olcott
5 Apr 25 ii          i     `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)8dbush
5 Apr 25 ii          i      `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)7olcott
5 Apr 25 ii          i       `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)6dbush
6 Apr 25 ii          i        `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)5olcott
6 Apr 25 ii          i         `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)4dbush
6 Apr 25 ii          i          `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)3olcott
6 Apr 25 ii          i           `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)2dbush
6 Apr 25 ii          i            `- Re: DD simulated by HHH cannot possibly halt (Halting Problem)1olcott
5 Apr 25 ii          `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)3Richard Heathfield
5 Apr 25 ii           +- Re: DD simulated by HHH cannot possibly halt (Halting Problem)1olcott
5 Apr 25 ii           `- Re: DD simulated by HHH cannot possibly halt (Halting Problem)1Janis Papanagnou
4 Apr 25 i`- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Chris M. Thomasson
18 Apr17:19 `- Re: HHH(DD) --- COMPUTE ACTUAL MAPPING FROM INPUT TO OUTPUT1olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal