Disseny recursiu · 5.1

Correctesa de programes recursius

Una funció recursiva és correcta si el cas base ho és, si la crida recursiva és més petita i si combinar els resultats dona el que toca.