Path: ...!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.lang.c,comp.lang.c++
Subject: Who here understands that the last paragraph is Necessarily True?
Date: Sat, 13 Jul 2024 15:41:47 -0500
Organization: A noiseless patient Spider
Lines: 39
Message-ID: <v6uoqb$3o4oh$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 13 Jul 2024 22:41:47 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="52398669a80ff5113c36343403a598c9";
	logging-data="3937041"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19Gf5cSaWEFYaZxRL/tr4do"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:0SilXdbWgOOisKJwub11eUfxMMY=
Content-Language: en-US
Bytes: 1856

*Pure function HHH is a simulating termination analyzer*
DDD is correctly simulated by HHH until HHH correctly
determines that it must abort its simulation of DDD
to prevent its own non-termination.

typedef void (*ptr)();
int HHH(ptr P);

void Infinite_Loop()
{
   HERE: goto HERE;
}

void Infinite_Recursion()
{
   Infinite_Recursion();
}

void DDD()
{
   HHH(DDD);
}

int main()
{
   HHH(Infinite_Loop);
   HHH(Infinite_Recursion);
   HHH(DDD);
}

Any input that must be aborted to prevent the non
termination of HHH necessarily specifies non-halting
behavior or it would never need to be aborted.

https://www.researchgate.net/publication/369971402_Simulating_Termination_Analyzer_H_is_Not_Fooled_by_Pathological_Input_D

-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer