Skip to Main content Skip to Navigation
Reports

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
Document type :
Reports
Complete list of metadatas

https://hal.inria.fr/inria-00099502
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 9:37:34 AM
Last modification on : Thursday, March 5, 2020 - 11:02:13 AM

Identifiers

  • 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⟩

Share

Metrics

Record views

80