Recursão é o processo de definir algo em termos de si mesmo e é, algumas vezes, chamado de definição circular. Assim, pode-se dizer que o conceito de algo recursivo está dentro de si, que por sua vez está dentro de si e assim sucessivamente, INFINITAMENTE.
Um algoritmo recursivo sempre deverá ter uma condição de parada (solução trivial) que define quando a recursão se encerra, ou seja a sua formulação é FINITA. Mas, os OBJETOS que serão utilizado no algoritmo recursivo terão definições INFINITAS. Cabe o algoritmo limitá-los.
Exemplo de objetos:
O primeiro número natural é zero.
O sucessor de um número natural é um número natural.
Percebe-se que os valores desses objetos nunca vão acabar até que o algoritmo recursivo limite-os.
Portanto, a definição dos objetos são INFINITOS e a formulação do seu algoritmos tenha uma resposta FINITA.