void DDD()That one or more statements of DDD are correctly simulated does not
{
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)
mean that DDD is correctly simulated.
That one or more cents of a debt is correctly paid does not mean
that the debt is correctly paid.
--
Mikko
| Date | Sujet | # | Auteur | |
| 11 Apr 26 |  … |
Les messages affichés proviennent d'usenet.