Stevessr 在 Amateurs Solve a Famous Computer Science Problem On Discord | The busy beaver problem 忙碌的海狸 BB(4)问题 在社区努力下解决 中发帖
[Amateurs Solve a Famous Computer Science Problem On Discord]
[image]
这是一个例子
对于一条无限长的二进制纸带
每个(1/0 R/L A/B(/C……) )表示「写入数字」「移动方向」「下次遵守的规则」
HALT代表停止
BB(n)代表在n种规则下,最终会停止中执行最多的机器