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 : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theory
Date : 11. May 2025, 10:25:06
Autres entêtes
Organisation : -
Message-ID : <vvpqdi$45o8$1@dont-email.me>
References : 1 2 3
User-Agent : Unison/2.2
On 2025-05-10 15:25:16 +0000, olcott said:

On 5/10/2025 2:33 AM, Mikko wrote:
On 2025-05-09 16:25:12 +0000, olcott said:
 
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)
 That one or more statements of DDD are correctly simulated does not
mean that DDD is correctly simulated.
 
 It is stipulated that when one or more statements
of DDD are correctly simulated that one or more
statements of DDD are correctly simulated.
Thera are only two statements in DDD. HHH does not correctly emulate
the first one, which is a call to HHH, and not at all the second one,
which is the final return.
--
Mikko

Date Sujet#  Auteur
11 Apr 26 o  …

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal