忙碌的海狸函数.忙碌的海狸函数，又称为BB函数，或者Radó Sigma函数，记做formula_7或者BB(n),是n个状态的忙碌的海狸图灵记的最大输出。这一个增长特别快的函数，是一个非常着名的不可计算函数。Radó证明了这个函数最终会超过全部的可计算函数。 formula_7还可以定义为集合formula_9中最大的数，这个集合包括了n个状态的2色图灵机全部的输出。集合formula_10的大小不超过formula_11（这是n个状态的全部图灵机数量）。更普遍的，formula_12表示n个状