忙碌的海狸

在計算機科學中 ， 忙碌的海狸  是一個在給定參數後 ， 尋找可能產生的最大輸出的可終止程序 。 忙碌的海狸遊戲包括設計一個可終止的 ， 只輸出0或1的圖靈機 ， 讓其在一條紙帶上儘可能多的輸出1. 包含兩個狀態的忙碌的海狸遊戲有下面兩條規則 ： 該圖靈機包括除終止態以外的兩個狀態 紙帶初始值都是0 玩家需要設計出可能輸出最多1的狀態轉換表格 ， 同時也要確保圖靈機是會終止的 。 能贏得n個狀態的忙碌的海狸遊戲的圖靈機 ， 稱爲第n個忙碌的海狸 ， 或者用BB - n表示 ( BB是英文忙碌的海狸的縮寫 ) 。 BB - n ， 是在所有n個狀態的圖靈機裏面 ， 可以輸出最多的1的 。 比如BB - 2 ， 可能通過6次狀態轉換輸出4個1 。 忙碌的海狸遊戲是由匈牙利的數學家Tibor Radó在1962年發表的論文 《 On Non-Computable Functions 》 中提出的 。