XPost: comp.theory   
   From: F.Zwarts@HetNet.nl   
      
   Op 29.jul.2024 om 21:48 schreef olcott:   
   > On 7/29/2024 2:38 PM, Fred. Zwarts wrote:   
   >> Op 29.jul.2024 om 21:35 schreef olcott:   
   >>> On 7/29/2024 2:18 PM, Fred. Zwarts wrote:   
   >>>> Op 29.jul.2024 om 16:07 schreef olcott:   
   >>>>> HHH(Infinite_Recursion) and HHH(DDD) show the same non-halting   
   >>>>> behavior pattern in their derived execution traces of their   
   >>>>> inputs.   
   >>>>>   
   >>>>> Correct emulation is defined as emulating the machine language   
   >>>>> input according to the x86 semantics specified by this input.   
   >>>>>   
   >>>>> For DDD correctly emulated by HHH this includes HHH emulating   
   >>>>> itself emulating DDD according to the x86 semantics of itself.   
   >>>>>   
   >>>>> HHH(DDD) shows the exact same execution trace behavior pattern   
   >>>>> as HHH(Infinite_Recursion) where 3-4 instructions are repeated   
   >>>>> with no conditional branch instructions in this trace that could   
   >>>>> prevent them from endlessly repeating.   
   >>>>>   
   >>>>> void Infinite_Recursion()   
   >>>>> {   
   >>>>>    Infinite_Recursion();   
   >>>>> }   
   >>>>   
   >>>> No, the HHH that aborts after N cycles has a similar behaviour as   
   >>>>   
   >>>   
   >>> So you don't even know that infinite recursion is non-halting behavior.   
   >>> You can go back and try again on this same post I am not looking at   
   >>> anything else that you say.   
   >>   
   >> Non halting is only in your dreams. HHH that aborts halts. Dreams are   
   >> no substitute for logic.   
   >>   
   >   
   > void Infinite_Recursion()   
   > {   
   >    Infinite_Recursion();   
   > }   
   >   
   > In other words you are confirming that you   
   > honestly believe the above function halts?   
      
   No, as usual you are twisting my words. Further Infinite_Recursion is   
   irrelevant, because we are talking about a HHH that aborts, so its   
   simulation looks more like:   
      
   void Finite_Recursion (int N) {   
      if (N > 0) Finite_Recursion (N - 1);   
   }   
      
   >   
   > Do you understand that Halts means terminates normally   
   > on its own without being forced to stop running?   
   >   
   > void Infinite_Loop()   
   > {   
   >    HERE: goto HERE;   
   > }   
      
   Irrelevant text ignored. HHH, when simulating itself, is simulating a   
   program that aborts after two cycles of recursion. So, when HHH is   
   simulated, no abort is needed.   
      
   Do you understand that Finite_Recursion halts after N recursions,   
   without a need to abort it?   
      
   >   
   > Do you understand that yanking the power cord out of   
   > the wall does not cause Infinite_Loop() to halt?   
   >   
   Do you understand that Finite_Recursion halts, even when the power cord   
   is not yanked out?   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)