1. Forum
  2. Usenet
  3. COMP.THEORY

  • Universal Compiler and Typed SHDs

    From Mr Flibble@21:1/5 to All on Thu May 22 19:15:14 2025
    Hi!

    It should be possible to use the neos universal compiler framework to
    create a *typed SHD* that allows a decider to analyse a program but
    dissallows a program to reference the decider.

    https://neos.dev

    /Flibble

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mikko@21:1/5 to Mr Flibble on Fri May 23 09:44:10 2025
    On 2025-05-22 19:15:14 +0000, Mr Flibble said:

    Hi!

    It should be possible to use the neos universal compiler framework to
    create a *typed SHD* that allows a decider to analyse a program but dissallows a program to reference the decider.

    A Turing machine is such type. It allows a decider to analyze a Turing
    machine but a Turing machine cannot reference.

    --
    Mikko

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)