Fonctions réelles calculables et fonctions R-récursives

Emmanuel Hainry 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : On définit des opérateurs de limites sur les fonctions. A l'aide de ces opérateurs, on définit de nouvelles classes de fonctions par clôture. On compare ces classes avec les fonctions élémentairement calculables (définies à partir de machines de Turing). On obtient ainsi une caractérisation des fonctions élémentairement calculables sous forme de clôture. || We define some limit operators with which we create a few new sets of functions as closures. We compare those classes with elementary computable functions, that are defined with Turing machines. This way, we have obtained a caracterization of elementary c
Type de document :
Rapport
[Stage] A03-R-347 || hainry03a, 2003, 30 p
Liste complète des métadonnées

https://hal.inria.fr/inria-00099502
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 09:37:34
Dernière modification le : vendredi 9 février 2018 - 10:48:04

Identifiants

  • HAL Id : inria-00099502, version 1

Collections

Citation

Emmanuel Hainry. Fonctions réelles calculables et fonctions R-récursives. [Stage] A03-R-347 || hainry03a, 2003, 30 p. 〈inria-00099502〉

Partager

Métriques

Consultations de la notice

63