Thingmemo
実装一覧へ戻る

再帰

McCarthy関数

McCarthy 91関数の入れ子再帰を明示的なpending数で実行し、厳格な呼出・スタック・履歴上限と未完了時の停止理由を返します。

TIME
O(c)
SPACE
O(h)

c = 実行呼出数、h = 保存履歴数 / 上限: 入力整数−1,000,000〜1,000,000、呼出1〜100,000回、pending 0〜10,000、履歴0〜512件

McCarthy 91関数を呼出し・stack上限付きで評価します。