Definições Recursivas
•
Solução Conceitual:
–
–
–
–
–
Problema de Ordem-n:
ꢁꢂ ꢃ : N → N
A função fat recebe um número
natural n e retorna um número
natural que é o fatorial de n
ꢀ
Precondição:
ꢃ ∈ N
n só pode ser um número natural
Se n é zero, a função fat retorna 1
valor de fat para n-1 é necessário
Caso(s) Base:
ꢃ = 0 → ꢀꢁꢂ ꢃ = 1
Chamada Recursiva:
ꢀ
ꢁꢂ ꢃ − 1
Passo Recursivo:
ꢁꢂ ꢃ = ꢃ ∗ ꢀꢁꢂ ꢃ − 1
A função fat retorna o valor de n
multiplicado pelo valor de fat para
n-1
ꢀ