No estudo da lógica de programação e dos algoritmos, uma função onde a característica principal é invocar a si mesma, repetidamente, até que uma condição pré-determinada seja satisfeita, é denominada: