Ela resolve um problema por meio de instâncias menores do mesmo problema e para em um caso-base.

Ela precisa usar uma instrução for ou while e não pode chamar o mesmo método.

Ela chama a si mesma para sempre, sem nenhuma condição de término.

Ela substitui o problema por tarefas não relacionadas e sem estrutura em comum.