home bbs files messages ]

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