Liste des Groupes | Revenir à c theory |
On 2024-08-13 13:30:08 +0000, olcott said:A complete emulation is not required to correctly
On 8/13/2024 6:23 AM, Richard Damon wrote:That is not a meaningful prediction because a complete and unlimitedOn 8/12/24 11:45 PM, olcott wrote:>>>
void DDD()
{
HHH(DDD);
return;
}
>
*DDD correctly emulated by HHH cannot possibly reach its*
*own "return" instruction final halt state, thus never halts*
>
Which is only correct if HHH actuallly does a complete and correct emulation, or the behavior DDD (but not the emulation of DDD by HHH) will reach that return.
>
A complete emulation of a non-terminating input has always
been a contradiction in terms.
>
HHH correctly predicts that a correct and unlimited emulation
of DDD by HHH cannot possibly reach its own "return" instruction
final halt state.
emulation of DDD by HHH never happens.
Les messages affichés proviennent d'usenet.