English Dictionary

busy beaver function

名詞

不可算名詞

(mathematics, computing theory) The mathematical function that maps each positive integer n to the number of steps required for the busy beaver among machines with two colors and n states to terminate.

日本語の意味

数学および計算理論において、2色とn状態のチューリング機械の中で最も多くのステップを実行するビジービーバーが停止するまでのステップ数を、各正の整数nに対して返す数学的関数

The busy beaver function grows faster than any computable function we can explicitly describe.

各正の整数 n に対して、2記号・n状態のチューリング機械のうち停止するものの中で最も長く動作するものが停止するまでに要するステップ数を対応させる数学的関数は、我々が明示的に記述できる任意の計算可能関数よりも速く成長する。

意味（1）

(mathematics, computing theory) The mathematical function that maps each positive integer n to the number of steps required for the busy beaver among machines with two colors and n states to terminate.