Matematikában a függvényeknél igy: F(n) = F(n − 1) + F(n − 2)
lényege hogy önmagát ismétlő függvény.

Eljárás reknégyzet :h
Ism 4 [ e :h j 90]
Ha :h>1 [reknégyzet :h/1.5]
Vége

Tekintve, hogy matematikában is elég gyakran beszélünk függvényekről, ott is ugyanúgy definiálhatjuk a rekurzív függvényt. Ellenben informatikában sokkal gyakrabban használnak ilyeneket.
Egy függvény rekurzív, ha a végrehajtásához meg kell hívnia saját magát. Például arra lehet használni, hogy programokat leegyszerűsíts. A kód besorolja a bemenetét egy kategóriába, aztán meghívja saját magát, hogy a bemenetének az egyik részegségét is besorolja. Mindaddig hívogatja saját magát, amíg el nem ér egy olyan bemenetet, amire be van programozva, hogy milyen értéket adjon vissza. Ekkor ez alapján a függvény, ami meghívta, az is tud értéket adni, és így felfele, amíg vissza nem ér arra a szintre, ahol az eredeti függvény meg lett hívva.
Imagine Logoban (vagy akármilyen teknős-grafikában) arra is jók, hogy remek fraktálokat lehet velük relatív egyszerűen készíteni.