Rekursion innebär att en funktion eller metod anropar sig själv, direkt eller via andra anrop. Ett problem löses då genom mindre versioner av samma problem.
Fakultet kan exempelvis beskrivas som f(n) = n * f(n - 1), med basfallet f(0) = 1 för icke-negativa heltal. För f(3) blir beräkningen 3 * 2 * 1 * 1 = 6.
Rekursionen behöver ett nåbart basfall som avslutar anropen. För djupa anropskedjor kan i Java orsaka StackOverflowError.