Función recursiva
En lógica matemática y computación, las funciones recursivas o también conocidas como funciones recursivas-µ son una clase de funciones de los números naturales en los números naturales que son «computables» en un sentido intuitivo. De hecho, en teoría de la computabilidad se demuestra que las funciones recursivas son precisamente las funciones que pueden ser calculadas con el formalismo de cómputo más general conocido como lo son las máquinas de Turing. Las funciones recursivas están relacionadas con las funciones primitivas recursivas y su definición inductiva se construye en base a la de las funciones primitivas recursivas. No toda función recursiva es primitiva recursiva. El ejemplo más conocido es la función de Ackermann.
Enciclopedia Universal.
2012.