XPost: comp.lang.c++
From: polcott333@gmail.com

On 10/25/2025 1:05 PM, Bonita Montero wrote:
> You've been going around in circles for years
> and you don't even realize it. Totally crazy.
>

You say that while pretending to not be
able to understand the C shown below.

> Am 25.10.2025 um 19:53 schrieb olcott:
>> Think this all the way through do not make any guesses.
>> The answer must come from DD simulated by HHH
>> according to the semantics of the C programming language
>> and nothing else.
>>
>> Simulating Termination Analyzer HHH correctly
>> simulates its input until:
>>
>> (a) Detects a non-terminating behavior pattern:
>>      abort simulation and return 0.
>>
>> (b) Simulated input reaches its simulated
>>      "return" statement: return 1.
>>
>> (c) If it is impossible to match (a) or (b)
>>      then (c) is matched
>>
>> (a)(b)(c) are in strict priority order  (a)-->(b)-->(c)
>>
>> typedef int (*ptr)();
>> int HHH(ptr P);
>>
>> int DD()
>> {
>>    int Halt_Status = HHH(DD);
>>    if (Halt_Status)
>>      HERE: goto HERE;
>>    return Halt_Status;
>> }
>>
>> int main()
>> {
>>    HHH(DD);
>> }
>>
>> Simulating Termination Analyzer applied to
>> the HP counter-example input
>> https://philpapers.org/archive/OLCSTA-3.pdf
>>
>


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

--- SoupGate-Win32 v1.05
 * Origin: you cannot sedate... all the things you hate (1:229/2)