Liste des Groupes | Revenir à theory |
On 7/13/24 12:48 PM, olcott wrote:Stupidly false. Its behavior is not affectedWhat is the correct halt status for an input toHalting.
a simulating termination analyzer that calls its
own termination analyzer?
>
typedef void (*ptr)();
int HHH(ptr P);
>
void DDD()
{
HHH(DDD);
}
>
int main()
{
HHH(DDD);
}
>
Since HHH defined to be a termination analyzer, by that definition it must return to its caller.
Since DDD has no inputs, its behavior isn't affected by any inputs, and thus DDD will halt for ALL input conditions,
Les messages affichés proviennent d'usenet.