Liste des Groupes | Revenir à theory |
On 2025-05-16 02:53:40 +0000, olcott said:If you say that I am in any way wrong
On 5/15/2025 2:37 AM, Mikko wrote:Not in the messages quoted above. Nothing else is relevant here.On 2025-05-15 01:30:08 +0000, olcott said:>
>void DDD()>
{
HHH(DDD);
return;
}
>
int main()
{
DDD();
}
>
If HHH cannot report on the behavior of its caller
because this is a ridiculous requirement then how
can HHH report on the direct execution of DDD()
(AKA its caller).
Your HHH can use all information that Flibble's decider can. Flibble's
decider can determine and report that DDD halts.
I asked you (not Flibble) to show exactly how the requirement
that HHH report on the direct execution of DDD()
[that requires HHH to report on the behavior of its caller]
is not nonsense.
It does not make sense to ask me. You should just post questions
and read the responses. Maybe someone answers at least a part of
your question, maybe not.
Les messages affichés proviennent d'usenet.