Sujet : Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS
De : F.Zwarts (at) *nospam* HetNet.nl (Fred. Zwarts)
Groupes : comp.theoryDate : 10. May 2025, 08:05:45
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vvmtsa$3d8ic$1@dont-email.me>
References : 1
User-Agent : Mozilla Thunderbird
Op 09.mei.2025 om 18:25 schreef olcott:
void DDD()
{
HHH(DDD);
return;
}
When 1 or more statements of DDD are correctly
simulated by HHH then this correctly simulated
DDD cannot possibly reach its own “return statement”.
(final halt state)
A competent programmer understands that when HHH returns after the 'correct' simulation, DDD will reach its final halt state. A 'correct' simulation must take that into account.
…