Abstract geometrical computation for Black hole computation (extended abstract) - LARA - Libre accès aux rapports scientifiques et techniques Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2004

Abstract geometrical computation for Black hole computation (extended abstract)

Résumé

The Black hole model of computation provides a computing power that goes beyond the classical Turing computability since it offers the possibility to decide in finite time any recursively enumerable (\RE) problem. In this article, we provide a geometric model of computation, conservative abstract geometrical computation, that has the same property: it can simulate any Turing machine and can decide any \RE problem through the creation of an accumulation. Finitely many signals can leave any accumulation, and it can be known whether anything leaves. This corresponds to a black hole artifact.
Le modèle du calcul avec un trou noir fournit une puissance de calcul supérieure au calcul Turing classique puisqu'on peut y décider tout problème récursivement énumérable(R.E.). Dans cet article, nous proposons un modèle de calcul géométrique,conservative abstract geometrical computation,qui a la même propriété : il peut simuler n'importe quelle machine de Turing et, en créant une accumulation,décider n'importe quel problème R.E.Seulement un nombre fini de signaux peuvent quitter l'accumulation et il est possible de savoir si quoique ce soit l'a quitté. Ceci correspond à l'artefact du trou noir.
Fichier principal
Vignette du fichier
RR2004-15.pdf (202.23 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02101791 , version 1 (17-04-2019)

Identifiants

  • HAL Id : hal-02101791 , version 1

Citer

Jérôme Durand-Lose. Abstract geometrical computation for Black hole computation (extended abstract). [Research Report] LIP RR-2004-15, Laboratoire de l'informatique du parallélisme. 2004, 2+11p. ⟨hal-02101791⟩
27 Consultations
47 Téléchargements

Partager

Gmail Facebook X LinkedIn More