Изменения

Перейти к: навигация, поиск

Busy beaver

15 байт добавлено, 18:39, 16 января 2016
Нет описания правки
|proof=
Рассмотрим программу длины <tex>n</tex>, совершающую максимальное число шагов. Существует программа длины <tex>n + 1</tex>, которая делает столько же шагов: надо просто получается добавлением в предыдущую добавить один незначащий символ. Напримеродного незначащего символа, пробельныйнапример, пробельного. Значит, существует программа длины на один больше, которая делает не меньше шагов. Следовательно, <tex>BB</tex> не убывает.
}}
----

Навигация