Sujet : Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)
De : rjh (at) *nospam* cpax.org.uk (Richard Heathfield)
Groupes : comp.theoryDate : 09. May 2025, 00:30:23
Autres entêtes
Organisation : Fix this later
Message-ID : <vvjeqf$28555$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
User-Agent : Mozilla Thunderbird
On 08/05/2025 23:50, olcott wrote:
On 5/8/2025 5:26 PM, Keith Thompson wrote:
<snip>
No, the problem Richard was pointing out with olcott's Halt7.c is that
*it's not valid C".
>
<snip>
void DDD()
{
HHH(DDD);
return;
}
If you are a competent C programmer
Keith Thompson is a highly-respected and very competent C programmer. You, however, are not.
then you
know that DDD correctly simulated by HHH cannot
possibly each its own "return" instruction.
Assumes facts not in evidence. Whether HHH correctly simulates DDD is disputed by a number of people. Your C code has a number of issues, and Mike Terry has pointed out exactly how the simulator fails to simulate.
What's left standing? Anything?
-- Richard HeathfieldEmail: rjh at cpax dot org dot uk"Usenet is a strange place" - dmr 29 July 1999Sig line 4 vacant - apply within
…