ヴィルヘルム・アッカーマンが定義してペーターとロビンソンが拡張した再帰関数。
非常に深い再帰定義により、再帰を最適化するコンパイラの能力のベンチマークとして使用される。