(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.
busy beaver function
各正の整数 n に対して、2記号・n状態のチューリング機械のうち停止するものの中で最も長く動作するものが停止するまでに要するステップ数を対応させる数学的関数は、我々が明示的に記述できる任意の計算可能関数よりも速く成長する。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
