XPost: comp.theory, comp.lang.c++   
   From: Bonita.Montero@gmail.com   
      
   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   
   >   
      
   What's the point of discussing the same mini-source for years?   
   Does that get you anywhere? It's like mind wandering before   
   you go to sleep; you don't reach any higher realization to   
   be able to close it off.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)