Hacker News Front Page · surprisetalk ·
busy-beaver/BB10/1RB0RA_1LC1LF_1RD0LB_1RA1LE_1LI0LC_0RG1LD_1RH1LG_1LC0RG_0LJ0LI_1RZ0LC.md at main · jeff87654/busy-beaver
La máquina de Turing n1, de 10 estados, se detiene desde una cinta en blanco y alcanza un número de unos situado en el nivel ω+1 de la jerarquía de crecimiento rápido, por encima del campeón publicado de BB(10) y del número de Graham. El desarrollo formal en Coq demuestra su detención, una fórmula exacta para la puntuación y las cotas de crecimiento; también verifica que supera al campeón de BB(10). La máquina reutiliza el cálculo del récord de BB(8) y añade dos estados y una transición modificada para convertir el resultado en una cuenta regresiva que impulsa períodos de crecimiento acelerado.
Busy beaver work: an 8-state machine running the BB(7) champion's program with 36 digits (sigma = 12*(2^^37 3)+59, machine-checked in busycoq), analysis in Ligocki's notation - jeff87654/bu...