1RB---_0RC0RD_1LD1RB_0LE0LC_1RA0LF_1LD1LE

From BusyBeaverWiki
Revision as of 04:47, 24 April 2026 by Sligocki (talk | contribs) (Add lede)
Jump to navigation Jump to search

1RB---_0RC0RD_1LD1RB_0LE0LC_1RA0LF_1LD1LE (bbch) appears to be a probviously halting TM, but with no estimate for halting time. It is still under analysis as of 24 Apr 2026.

Analysis by Shawn Ligocki

https://discord.com/channels/960643023006490684/1239205785913790465/1497001816741646407 

1RB---_0RC0RD_1LD1RB_0LE0LC_1RA0LF_1LD1LE

Let A(a,b,c) = 0^inf 1^a 10^b C> 1^c 0^inf

A(a+1,b,c+3) --> A(a,b+2,c)

A(a,b,0) --> A(2b+1,1,a+1)
A(a,b,1) --> A(2b+3,1,a+1)
A(a,b,2) --> A(2b+5,1,a+1)

A(0,b,c+5) --> A(2b+4,2,c)
A(0,b,4) --> Halt
A(0,b,3) --> Halt

Start: A(0,1,0)

Simulated out to 1B "resets" (rule count ignoring the first rule): 

1_000_000_000  A(1_449_166_375, 1, 3_050_820_388)

Looks kind of like BMO1 where it only halts if a and c are "close" in some sense. Configs like A(k,b,3k+{3,4})

Retrieved from "https://wiki.bbchallenge.org/w/index.php?title=1RB---_0RC0RD_1LD1RB_0LE0LC_1RA0LF_1LD1LE&oldid=7257"