Oletagem, et mungad sooritavad 1 tôste sekundis. Siis kulub neil aega 2 64 sekundit (-1 pole sealjuures enam oluline). See on umbes 300 miljardit aastat. Arvestades, et maakera vanust hinnatakse 5 miljardile aastale ja elu vanust Maal umbes 1,5 miljardile aastale, on see soliidne periood. Sellest tuleb järeldada, et môni rekursiivne programm vôib töötada sôltuvalt ülesande mahust kolossaalselt kaua. Juba 20 ketta puhul kulub lahenduseks 6 päeva. Veelkord -- ettevaatust rekursiooniga! Toodud koodilõigud on pseudokoodis (alternatiivne ja kohati mugavam kui algoritm). Materjali originaal asub: raunz.pri.ee/tty/programmeerimise_p8hikursus.../rekursioon.doc
On defineeritav iseenda kaudu (ei anna mingit infot). Rekursiooni baasjuht - rekursiooni enam välja ei kutsuta (tingimus, millal rekursioon lõpeb) Rekursiivne juht - rekursioon kutsutakse välja, iga välja kutse on lihtsam (kas asi läheb lihtsamaks, ise vaja välja mõelda) Rekursiooni ekvivalentsus tsükliga - kõike mida saab progeda while ja for tsükli abil, saab progeda rekursiooniga ja vastupidi lambda-arvutus - Lambda-arvutuse keel on Alonzo Churchi poolt 1930. aastatel leiutatud lihtne ja universaalne meetod funktsioonide kirjapanekuks. Churchi tees: mida saad mõnes keeles progeda, saad lambda arvutusese keeles kirja panna. Asendusmeetod. Prolog on esimene loogilise programmeerimise keel. Põhiidee on nõuda otsitava lahenduse kirjeldamist esimest järku predikaatarvutuse keeles, kusjuures Prolog-i
annaabi.ee 
