Re: Universal Compiler and Typed SHDs

Liste des GroupesRevenir à c theory 
Sujet : Re: Universal Compiler and Typed SHDs
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theory
Date : 23. May 2025, 07:44:10
Autres entêtes
Organisation : -
Message-ID : <100p5fq$3vbsp$1@dont-email.me>
References : 1
User-Agent : Unison/2.2
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

Date Sujet#  Auteur
23 May07:44 o Re: Universal Compiler and Typed SHDs1Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal