A rekurzív függvény (a latin recursio - return szóból) egy numerikus argumentum numerikus függvénye , amely önmagát tartalmazza a jelölésében. Ez a jelölés lehetővé teszi az értékek kiszámítását az értékekből , hasonlóan az indukciós érveléshez . Ahhoz, hogy bármelyik esetén a számítás befejeződjön , bizonyos esetekben a függvényt nem rekurzívan kell definiálni (például ).
Példa egy rekurzív függvényre, amely az n- edik Fibonacci - számot adja meg :
Ettől a jelöléstől vezérelve, tetszőleges természetes n -re kiszámíthatunk véges számú lépésben. Igaz, az út során még ki kell számítania az értékeket .
A többletköltség miatt hasznos tudni, hogy egy rekurzív függvénynek van-e nem rekurzív (zárt) alakja.
Előfordulhat, hogy nem található minden rekurzív függvény (reláció) zárt alakja. Némelyikük esetében csak megközelítőleg zárt formákat találtunk. Egyes rekurzív relációk, például a faktoriális elemi matematikai műveleteknek minősülnek.
Például egy rekurzív függvény, amely leírja a természetes számok összegét:
zárt formára fordítható: .
A rekurzív függvények fontos szerepet játszanak az algoritmusok elméletében , mivel sok algoritmus rekurzív szerkezettel rendelkezik.