Um objeto é dito recursivo se ele consistir parcialmente ou for definido em termos de si próprio. Todo procedimento, recursivo ou não, deve possuir pelo menos uma chamada proveniente de um local exterior a ele. Essa chamada é denominada