Este documento trata sobre la recursividad en programación. Explica que la recursividad permite definir un número infinito de objetos mediante un enunciado finito y que los procedimientos y funciones recursivas se llaman a sí mismas para resolver un problema. También describe los componentes clave de un algoritmo recursivo como el caso base y la parte recursiva, y los diferentes tipos de recursividad como la recursividad simple, mutua e indirecta.