忙碌的海狸 在计算机科学中忙碌的海狸Busy Beaver是一个在给定参数后寻找可能产生的最大输出的可终止程序忙碌的海狸游戏包括设计一个可终止的只输出或的图灵机让其在一条纸带上尽可能多的输出 包含两个状态的忙碌的海狸游戏有下面两条规则 该图灵机包括除终止态以外的两个状态 纸带初始值都是 玩家需要设计出可能输出最多的状态转换表格同时也要确保图灵机是会终止的 能赢得n个状态的忙碌的海狸游戏的图灵机称为第n个忙碌的海狸或者用BBn表示BB是英文忙碌的海狸的缩写BBn是在所有n个状态的图灵机里面可以输出最多的的比如BB可能通过次状态转换输出个 忙碌的海狸游戏是由匈牙利数学家拉多蒂博爾在年发表的论文On NonComputable Functions中提出的