Busy beaver

Эта статья находится в разработке!

Определение

Определение:

[math]BB(n)[/math] — функция от натурального аргумента [math]n[/math] (busy beaver fuction), равная максимальному числу шагов, которое может совершить программа длиной [math]n[/math] символов и затем остановиться.