0RB1LD_1LC1RB_1LD1RE_1LA1LE_1LZ0RC
0RB1LD_1LC1RB_1LD1RE_1LA1LE_1LZ0RC
(bbch) is the num(5) champion (the BB(5) TM which halts leaving the most consecutive ones on the tape) according to Andrés Sancho.[1][2] It halts after 15590 steps with tape
It is tied for the num(5) championship with 1RB1LA_1RC1LE_1RD1RE_0LA1RC_1RZ0LB
(bbch) which is the TNF-1RB version of the same TM (The permutation of this TM starting at state B).
Analysis by Shawn Ligocki
A(a, b) = $ 1^a <A 11^b $ A(a+3, b) -> A(a, b+2) A(0, b) -> A(2b, 1) A(1, b) -> A(0, b+1) A(2, b) -> $ <Z 1^{2b+3} $ A(3k, 1) -> A(4k+2, 1) A(3k+1, 1) -> A(4k+4, 1) A(3k+2, 1) -> $ <Z 1^{4k+5} $ @13: A(3, 1) Trajectory of "a" values starting from A(3, 1): 3 6 10 16 24 34 48 66 90 122 Halt(165)
References
- ↑ Discord message by Andrés Sancho on 8 Feb 2025
- ↑ https://github.com/MatterAndy/BB5-contiguous-1s