En rekursiv funktion (från latin recursio - retur) är en numerisk funktion av ett numeriskt argument som innehåller sig själv i dess notation. Denna notation gör att värden kan beräknas från värden , liknande resonemang genom induktion . För att beräkningen ska slutföras för någon , är det nödvändigt att för vissa funktionen definieras icke-rekursivt (till exempel för ).
Ett exempel på en rekursiv funktion som ger det n :te Fibonacci- talet :
Med hjälp av denna notation kan vi beräkna för vilket naturligt n som helst i ett ändligt antal steg. Det är sant att på vägen måste du dessutom beräkna värdena på .
På grund av overheaden är det användbart att veta om en rekursiv funktion har en icke-rekursiv (sluten) form.
En sluten form kanske inte finns för alla rekursiva funktioner (relationer). För några av dem har endast ungefärliga slutna former hittats. Vissa rekursiva relationer, såsom den faktoriella , anses vara elementära matematiska operationer.
Till exempel, en rekursiv funktion som beskriver summan av naturliga tal:
kan översättas till sluten form: .
Rekursiva funktioner spelar en viktig roll i teorin om algoritmer , eftersom många algoritmer har en rekursiv struktur.