Title:
|
Non recursive functions have transcendental generating functions
|
Author:
|
Cucker Farkas, Juan Felipe; Gabarró Vallès, Joaquim
|
Other authors:
|
Universitat Politècnica de Catalunya. Departament de Ciències de la Computació; Facultat d'Informàtica de Barcelona; Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals |
Abstract:
|
Proves that nonprimitive recursive functions have transcendental generating series. This result translates a certain measure of the complexity of a function, the fact of not being primitive recursive, into another measure of the complexity of the generating series associated to the function, the fact of being transcendental. |
Abstract:
|
On démontre que les fonctions qui ne sont pas recursives primitives ont des séries génératrices transcendantes. Ce résultat traduit une certaine mesure de complexité d'une fonction, le fait de ne pas être recursive primitive, dans une autre mesure de la complexité de la série génératrice associée à cette fonction, le fait d'être transcendante. |
Subject(s):
|
-Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica::Algorísmica i teoria de la complexitat -Complexity, Computational -Function complexity measures -Nonrecursive functions -Transcendental generating series -Nonprimitive recursive functions -Complexitat computacional |
Rights:
|
|
Document type:
|
Article - Published version Article |
Share:
|
|