1RB1LE_1RC1RA_0LD1RB_1LE1LD_1RF0LA_---0RE

1RB1LE_1RC1RA_0LD1RB_1LE1LD_1RF0LA_---0RE (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:
E(a, b, c) = 0^inf 10^b 1^{2a+2} E> 1^{c+1} 0^inf

E(a+1, b, 0) -> E(a, b, 1)
E(0, 0, 0) -> E(1, 0, 1)
E(0, 1, 0) -> E(1, 0, 2)
E(0, 2, 0) -> E(1, 0, 6)
E(0, b+3, 0) -> E(1, b, 4)

E(a, 0, c) -> E(1, 0, 2a+2c+1) if 1 <= c <= 2
E(a, 0, 3) -> Halt
E(a, 0, c+4) -> E(1, a+1, 2c+2) if c <= 2
E(a, 0, c+7) -> E(1, a+3, c+1)

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

Start: E(1, 0, 2), reached after 28 raw TM steps