1RB1RC_1LC1LC_1RE0LD_1LB1RF_---1RA_0RD1RD

From BusyBeaverWiki
Jump to navigation Jump to search

1RB1RC_1LC1LC_1RE0LD_1LB1RF_---1RA_0RD1RD (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) = 0^inf 1^{a+2} E> 1^{2b+2} 0 1^{2c+2} 0^inf

C(a, 0, 0) -> Halt
C(2k, 0, 1) -> C(5, 2, k+1)
C(2k+1, 0, 1) -> C(2, 0, k+3)
C(2k, 0, c+2) -> C(2, k+3, c)
C(2k+1, 0, c+2) -> C(5, k+3, c)

C(a, b+1, 0) -> C(a+3, 0, b)
C(a, b+1, c+1) -> C(a+6, b, c)

Start: C(5, 2, 0), reached after 100 raw TM steps