Занятый бобер
- Занятые бобры — это машины Тьюринга, которые работают бесконечно долго или выполняют максимальное количество шагов.
- Проблема занятого бобра является сложной математической игрой и предлагает новый подход к решению математических задач.
- Точные значения и нижние границы для S(n) и Σ (n) для обобщенных задач о занятом бобре представлены в таблице.
- Функции busy beaver могут быть использованы для систематического решения многих открытых математических задач.
- Однако текущие результаты показывают, что вычисление значений функции busy beaver становится очень большим и быстрым.
- Были сконструированы машины Тьюринга с различными количествами состояний, которые останавливаются при определенных условиях.
- Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.
Полный текст статьи: