XPost: comp.theory, comp.lang.c++   
   From: polcott333@gmail.com   
      
   On 11/22/2025 10:20 PM, Tristan Wibberley wrote:   
   > On 23/11/2025 04:07, Kaz Kylheku wrote:   
   >> I've explicitly asked hm to make a catalog of these names, and describe   
   >> each one; no response (unsurprisingly).   
   >   
   > Some time ago I suggested he post a regular glossary. It was very   
   > quickly clear that his communication strategy is making it difficult.   
   >   
   >   
      
   template for hypothetical H and D   
      
      If simulating halt decider H correctly simulates its input D   
      until H correctly determines that its simulated D would never   
      stop running unless aborted then   
      
      H can abort its simulation of D and correctly report that D   
      specifies a non-halting sequence of configurations.   
      
      
   https://github.com/plolcott/x86utm/blob/master/Halt7.c   
      
   HHH is a fully operational termination analyzer anchored   
   in the x86 language yet can be construed as simulating C   
   functions according to the semantics of the C programming   
   language because the x86 was code translated from C.   
      
   HHH1 exactly the same as HHH except that DD does not   
   call HHH.   
      
   typedef int (*ptr)();   
   int HHH(ptr P);   
   int HHH1(ptr P);   
      
   int DD()   
   {   
      int Halt_Status = HHH(DD);   
      if (Halt_Status)   
        HERE: goto HERE;   
      return Halt_Status;   
   }   
      
   int main()   
   {   
      HHH(DD);   
   }   
      
   HHH simulates DD that calls HHH(DD)   
   that simulates DD that calls HHH(DD)...   
      
   HHH1 simulates DD that calls HHH(DD) that   
   returns to DD that returns to HHH1.   
      
   The behavior of DD simulated by HHH1 is the   
   same as the behavior of DD() executed from main.   
      
   The sound basis of this reasoning is the   
   semantics of the C programming language.   
      
      
   --   
   Copyright 2025 Olcott   
      
   My 28 year goal has been to make   
   "true on the basis of meaning" computable.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)