busy beaver function

English

Noun

busy beaver function (plural busy beaver functions)

1. (mathematics, computing theory) The mathematical function, denoted by $\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.

Further reading

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