Branchbound: Uncomputable Garden

Branchbound: Невычислимый сад

Откройте внутри Branchbound небольшую математическую лабораторию и исследуйте идеи, чьи полные версии перерастают рамки обычной игры.

Лаборатория Busy Beaver

Предскажите поведение отобранной двухсимвольной машины Тьюринга, раскройте конечный запуск по шагам и сравните результат с указанным лимитом.

Запрещённые деревья

Стройте ограниченную последовательность конечных помеченных корневых деревьев. Выбор запрещён, если в него вкладывается ранее принятое дерево.

Конечность как правило

Все границы показаны. «Работает на лимите» не означает «никогда не остановится». DLC не вычисляет Busy Beaver в общем виде и не вычисляет или приближает TREE(3).

• Два детерминированных эксперимента для повторного прохождения.
• Полностью офлайн: без аккаунта, сервера, расходников и ИИ во время игры.
• Требуется основная игра Branchbound.