Considere: I. Números naturais:
a. 0 é um número natural. b. o sucessor de um número natural é um outro número natural. II. Estruturas de árvores: a. 0 é uma árvore (chamada árvore vazia). b. Se t1 e t2 são árvores, então a estrutura que consiste de um nó com dois ramos t1 e t2 é também uma árvore III. A função fatorial n! (para inteiros não negativos): a. 0! = 1 b. n > 0: n! = n * (n-1)! É exemplo de algoritmo recursivo o que consta em