Forums before death by AOL, social media and spammers... "We can't have nice things"
|    comp.lang.c    |    Meh, in C you gotta define EVERYTHING    |    243,242 messages    |
[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]
|    Message 241,478 of 243,242    |
|    olcott to Bonita Montero    |
|    Re: No human has been able to understand    |
|    25 Oct 25 13:33:43    |
   
   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)   
|
[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]
(c) 1994, bbs@darkrealms.ca