Staartrecursie: verschil tussen versies

Elke procedure die aan deze voorwaarde voldoet kan gemakkelijk worden omgevormd tot een niet-recursieve procedure (het omgekeerde is niet waar), met een equivalente [[iteratie]]. Dit kan omdat het niet nodig is om de localelokale context van de procedure op te slaan (zodat deze zou kunnen worden hersteld bij het terugkeren naar de oproeper). Zelfs het terugkeeradres hoeft niet te worden bijgehouden omdat de procedure toch eindigt na het uitvoeren van de recursieve instructie.