再帰的定義において、再帰呼び出しが定義の最後で行なわれること。

特徴

末尾再帰の場合、呼び出される側の返す値が同時に呼び出した側の返値となるため、このような呼び出しは、定義の先頭へジャンプする処理で置き換えが可能である。

この置き換えにより、再帰呼び出しの過程をスタックに保持する必要がなくなるため、無限の深さの再帰呼び出しが可能となる。

リンク

関連する用語
再帰
スタック

[再検索] [戻る]