T_（n，k）中的T是具有n个状态和k个符号的图灵机；
n个不同状态集合q_n中的状态q、q+（加上暂停状态；）
符号s，s+在k个不同符号的集合s_k中（0作为空白符号；）
{LEFT，RIGHT}中的移位方向d+（此处不包括NONE；）
+后缀表示next和q+=f（q，s），s+=g（q，s），d+=h（q，秒）。
这个序列是可计算的。另一方面，繁忙的海狸数是无可争议的，只有通过检查许多n态图灵机程序的每一个停止才能发现-迈克尔·约瑟夫·哈尔姆2003年4月29日
回复：忙碌的海狸停止图灵机器：
H_（n，k）中的H是具有n个状态和k个符号的暂停*图灵机；
*（在空白磁带上，输入所有0）
sigma（H）是H留在磁带上的非空白符号数；
s（H）是H所采取的步骤数（在我们的情况下是移位数）；
Sigma（n，k）=max{Sigma（H）：H是一个有n个状态和k个符号的暂停图灵机}
S（n，k）=max｛S（H）：H是一个具有n个状态和k个符号的停止图灵机｝
