Busy beaver

Материал из Викиконспекты
Перейти к: навигация, поиск
Эта статья находится в разработке!

Определение

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