1. Forum
  2. Fidonet
  3. COMP.LANG.C

  • Glossary of names of my simulating termination analyzer HHH(DD)

    From olcott@3:633/10 to All on Sun Nov 23 16:29:50 2025
    On 11/23/2025 3:20 PM, joes wrote:
    Am Tue, 18 Nov 2025 21:07:35 -0600 schrieb olcott:
    On 11/18/2025 8:53 PM, Kaz Kylheku wrote:
    On 2025-11-19, olcott <polcott333@gmail.com> wrote:

    What The F does UTM decide when DD calls UTM(DD)?

    That doesn't happen; DD calls HHH(DD).
    A diagonal functon set against UTM, call it DDUTM, cannot be decided by
    UTM(DDUTM).
    That call simply does not return.

    Yes, and the other one does return [?]

    The other what? DDUTM is not DD.


    *Just stick with these names and no other names*
    *Just stick with these names and no other names*
    *Just stick with these names and no other names*

    template for hypothetical H and D
    <MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
    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.
    </MIT Professor Sipser agreed to ONLY these verbatim words10/13/2022>

    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. DD simulated by HHH1 has the exact same
    behavior as DD executed from main().

    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.

    --- PyGate Linux v1.5.1
    * Origin: Dragon's Lair, PyGate NNTP<>Fido Gate (3:633/10)