Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS

Liste des GroupesRevenir à theory 
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.theory
Date : 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.

Date Sujet#  Auteur
9 May 25 * Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS23olcott
9 May 25 +* Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS7Richard Heathfield
9 May 25 i+* Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS3olcott
9 May 25 ii+- Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS1Richard Damon
9 May 25 ii`- Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS1Richard Heathfield
9 May 25 i`* Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS3Mike Terry
9 May 25 i `* Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS2olcott
9 May 25 i  `- Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS1Richard Damon
9 May 25 +- Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS1Richard Damon
10 May 25 +- Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS1Fred. Zwarts
10 May 25 `* Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS13Mikko
10 May 25  `* Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS12olcott
10 May 25   +- Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS1Fred. Zwarts
10 May 25   +- Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS1Richard Damon
11 May 25   `* Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS9Mikko
11 May 25    `* Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS8olcott
11 May 25     +* Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS3Richard Damon
11 May 25     i`* Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS2olcott
12 May 25     i `- Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS1Richard Damon
12 May 25     `* Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS4Mikko
12 May 25      `* Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS3olcott
12 May 25       +- Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS1dbush
13 May 25       `- Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal