Aquí hay un programa de 41 caracteres que finalmente se detiene, dejando más de 10 ↑ (10 ↑ 28) celdas contiguas establecidas igual a 1 (por lo que el número de instrucciones ejecutadas es mucho mayor que eso):
>+>+>+>+[->[>]+[->[>]+[->[>]+[<]+<]+<]+<]
Si no me equivoco, esa es una traducción correcta del siguiente programa en el lenguaje variante BF que utiliza un solo bit para cada celda de memoria (es decir, contenido de celda 0..1 en lugar de 0..255, entonces '+' actúa simplemente para voltear el valor de bit):
>+>+>+>+[+>[>]+[+>[>]+[+>[>]+[<]+<]+<]+<]
El valor exacto (el número de 1 bits adyacentes) producido por este último programa es
3 * (2 ↑ 118842243771396506390315925503 - 1) + 1.
El programa anterior inicializa y calcula una función que crece como 2 ↑↑ x (en
notación de flecha hacia arriba de Knuth ). Una conversión similar de un programa BF variante que inicializa y calcula una función que crece como 2 ↑
23 x proporciona el siguiente programa de 256 caracteres:
>+>+>+>+>+>+[->[>]+[->[>]+[->[>]+[->[>]+[->[>]+[->[>]+[->[>]+[->[>]+[->[>]+[->[>]+[->[>]+[->[>]+[->[>]+[->[>]+[->[>]+[->[>]+[->[>]+[->[>]+[->[>]+[->[>]+[->[>]+[->[>]+[->[>]+[->[>]+[<]+<]+<]+<]+<]+<]+<]+<]+<]+<]+<]+<]+<]+<]+<]+<]+<]+<]+<]+<]+<]+<]+<]+<]+<]+
que finalmente se detiene, dejando más de 2 ↑ 23 6 celdas adyacentes establecidas igual a 1 (por lo que el número de pasos es enormemente mayor que eso).
NB-1 : 2 ↑ 23 6 es un número "inconcebiblemente grande"; por ejemplo, incluso 2 ↑ 4 6 = 2 ↑↑↑↑ 6 ya supera el primer término (3 ↑↑↑↑ 3) en la secuencia utilizada para calcular el número de Graham .
NB-2 : Creo que es probable que 256 caracteres sean suficientes para que un programa BF inicialice y calcule una función con una salida mucho mayor que el número de Graham ; si encuentro tiempo, tal vez intente escribir uno.
NB-3 : en caso de que alguien esté interesado en el origen de los programas anteriores, aquí hay algunos recursos de programación para "Brainf * ck F" , con varios programas escritos en Python. ("Brainf * ck F", o simplemente "F", es lo que llamé una variante completa de Turing de Smallf * ck esolanguage.) Acabo de subir estos archivos, que han estado fuera de línea durante varios años, y por ahora el la página web vinculada es solo un "gabinete de archivos" - vea el archivo Busy_Beavers.txt para una discusión detallada relevante a los programas anteriores.