XPost: comp.theory, comp.lang.c++   
   From: 643-408-1753@kylheku.com   
      
   On 2025-11-19, olcott  wrote:   
   > Liars try to claim that DD simulated by HHH   
   > (according to the semantics of the C programming   
   > language) reaches its own simulated "return"   
   > statement final halt state.   
      
   Without the implementation of HHH beng specified, we cannot tell; it   
   could be the case that HHH(DD) does not return.   
      
   If we assume that HHH(DD) returns 0, then obviously DD reaches   
   its return statement.   
      
   Otherwise obviously not.   
      
   > They are utterly dumbfounded when I ask them   
   > to prove this by a contiguous execution trace   
   > of DD simulated by HHH in C showing how and   
   > why DD reaches its own simulated "return"   
   > statement final halt state.   
      
   It's been demonstrated right inside your x86utm, remember?   
      
   > That is how and why we can know that they are   
   > liars and not merely confused.   
      
   You are completely at sea in the computer science of it,   
   /and/ you're not able to respond to code with codee.   
      
   --   
   TXR Programming Language: http://nongnu.org/txr   
   Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal   
   Mastodon: @Kazinator@mstdn.ca   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)