busy beaver function

busy beaver function (plural busy beaver functions)

1. (mathematics, computing theory) The mathematical function, denoted by ${\displaystyle \Sigma (n)}$, that maps each positive integer n to the number of steps required for the busy beaver among machines with two colors and n states to terminate.

• busy beaver function on Wikipedia.Wikipedia
• Busy Beaver at MathWorld