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

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)
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer