ビジービーバー - Wikipedia

ビジービーバー（英：busy beaver）とは、計算可能性理論で扱われるある種のチューリングマシンである。この名称は「仕事人間」を意味する英語の慣用句に由来する。ビジービーバーは空のテープから処理を開始し、可能な限り走り続けるが、最終的には停止する。これは停止するチューリングマシンのクラスが消費し得る時間と領域（テープ）の長さの上限を与える。 ビジービーバー関数はこの上限を数値化するものであり、計算不能関数の一例でもある。この関数はいかなる計算可能関数よりも急速に増大するということを証明できる。ビジービーバー関数の概念は、ティボール・ラドー（英語版）による1962年の論文 "On Non-Computable Functions" の中で、「ビジービーバー・ゲーム」という名称で初めて導入された。 ビジービーバー・ゲーム[編集] ティボール・ラドーは、1962年の論文で以下のように「ビジー

[grafi]

「この関数は如何なる計算可能関数よりも急速に増大する」

[hskksk]

ビジービーバー関数は、「如何なる計算可能関数よりも急速に増大する性質を持つ」らしい。

[Zoe]

busy beaver