1. Forum
  2. Newsgroups
  3. comp.lang.c

  • Detecting the recursive simulation behavior pattern: HHH(DD)

    From olcott@polcott333@gmail.com to comp.theory,comp.lang.c,comp.lang.c++ on Mon Aug 4 16:55:28 2025
    From Newsgroup: comp.lang.c

    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.

    int DD()
    {
    int Halt_Status = HHH(DD);
    if (Halt_Status)
    HERE: goto HERE;
    return Halt_Status;
    }

    Can you see that DD correctly simulated by HHH demonstrates the
    recursive simulation non halting behavior pattern that cannot possibly
    reach its own "if" statement?
    --
    Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
    hits a target no one else can see." Arthur Schopenhauer

    --- Synchronet 3.21a-Linux NewsLink 1.2