Hypothetical possibilities

void DDD()
{
   HHH(DDD);
}
int main()
{
   DDD();
}
(a) Termination Analyzers / Partial Halt Deciders must halt
this is a design requirement.
(b) Every simulating termination analyzer HHH either
aborts the simulation of its input or not.
(c) Within the hypothetical case where HHH does not abort
the simulation of its input {HHH, emulated DDD and executed DDD}
never stop running.
This violates the design requirement of (a) therefore HHH must
abort the simulation of its input.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer