1RB1LA_1LC0RE_1LF1LD_1RE0LC_1LB1RA_---0LA

1RB1LA_1LC0RE_1LF1LD_1RE0LC_1LB1RA_---0LA (bbch) is a BB(6) potential Cryptid found by Marco Dos Santos using Gemini and reported in his paper At the Limits of Computability: Steps Towards Autonomous AI Discovery on the Busy Beaver Frontier. The probvious behavior of these TMs has not yet been analyzed.

Analysis by Marco Dos Santos

Consider:
C(a,b,c,d) = 0^inf 1^{a+1} C> 00 1^{b+4} 01^c 1^d 011 0^inf
where d in {3, 6}

C(a,b,0,6) = C(a,b+3,0,3)

C(a+2,b,c,d) -> C(a,b+3,c,d)

C(a,b,c+2,d) -> C(a+b+4,3,c,d) if a <= 1
C(a,b,1,6) -> C(a+b+4,0,3,3) if a <= 1

C(a,2k,0,3) -> C(a,0,k+3,3) if a <= 1
C(0,2k+1,0,3) -> Halt
C(1,2k+1,0,3) -> C(6,3,k,3)

C(a,2k+1,1,3) -> C(a,0,k+3,6) if a <= 1
C(0,2k,1,3) -> Halt
C(1,0,1,3) -> C(6,0,3,3)
C(1,2k+2,1,3) -> C(6,3,k,6)

Start: C(4,0,0,3), reached after 162 raw TM steps