Definición de funciones recursivas

Como se mencionó, la definición recursiva consta de tres cláusulas diferentes: básica, inductiva y extrema.

Básica. Especifica la semilla del dominio a partir de la cual se generarán todos los elementos del contradominio (resultado de la función), utilizando las reglas definidas en la cláusula inductiva. Este conjunto de elementos se denomina caso base de la función que se está definiendo.

Inductiva. Establece la manera en que los elementos del dominio pueden ser combinados para generar los elementos del contradominio. Esta cláusula afirma que, a partir de los elementos del dominio, se puede generar un contradominio con propiedades análogas.

Extrema. Afirma que a menos que el contradominio demuestre ser un valor válido, aplicando las cláusulas base e inductiva un número finito de veces, la función no será válida.

Fuente: Apunte Análisis, diseño e implantación de algoritmos de la facultad de contaduría y administración, UNAM