Fonctions réelles calculables et fonctions R-récursives - Inria - Institut national de recherche en sciences et technologies du numérique
Rapport Année : 2003

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

Résumé

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
Fichier non déposé

Dates et versions

inria-00099502 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00099502 , version 1

Citer

Emmanuel Hainry. Fonctions réelles calculables et fonctions R-récursives. [Stage] A03-R-347 || hainry03a, 2003, 30 p. ⟨inria-00099502⟩
66 Consultations
0 Téléchargements

Partager

More