busy beaver function BB(n)

[forecasting]

busy beaver function BB(n)，转自wiki中文：包含两个状态的忙碌的海狸游戏有下面两条规则：

该图灵机包括除终止态以外的两个状态
纸带初始值都是0
玩家需要设计出可能输出最多1的状态转换表格，同时也要确保图灵机是会终止的。

能赢得n个状态的忙碌的海狸游戏的图灵机，称为第n个忙碌的海狸，或者用BB-n表示(BB是英文忙碌的海狸的缩写)。BB-n，是在所有n个状态的图灵机里面，可以输出最多的1的。比如BB-2，可能通过6次状态转换输出4个1。

其英文在这里： https://en.wikipedia.org/wiki/Busy_beaver

现在问，BB（n）这一函数的值域是可计算可枚举集吗？

[forecasting]

busy beaver function BB(n)，转自wiki中文：包含两个状态的忙碌的海狸游戏有下面两条规则：

该图灵机包括除终止态以外的两个状态
纸带初始值都是0
玩家需要设计出可能输出最多1的状态转换表格，同时也要确保图灵机是会终止的。

能赢得n个状态的忙碌的海狸游戏的图灵机，称为第n个忙碌的海狸，或者用BB-n表示(BB是英文忙碌的海狸的缩写)。BB-n，是在所有n个状态的图灵机里面，可以输出最多的1的。比如BB-2，可能通过6次状态转换输出4个1。

其英文在这里： https://en.wikipedia.org/wiki/Busy_beaver

现在问，BB（n）这一函数的值域是可计算可枚举集吗？

BB（n）位于可计算和不可计算的分界线上，very interesting。

[forecasting]

不上传海狸筑坝的视频了，这是计算机科学家有趣的一面，借用海狸不停筑坝来称呼一个游戏。

[forecasting]

BB（0）=0
BB（1）=1
BB（2）=4
BB（3）=6
BB（4）=13

下界： BB（2k）>3\uparrow(k-2)3
BB（2k+1）>3\uparrow(k-2)31