View source for 1RB1RC 1LC1LC 1RE0LD 1LB1RF ---1RA 0RD1RD

{{machine|1RB1RC_1LC1LC_1RE0LD_1LB1RF_---1RA_0RD1RD}}
{{TM|1RB1RC_1LC1LC_1RE0LD_1LB1RF_---1RA_0RD1RD}} is a [[BB(6)]] potential [[Cryptid]] found by Marco Dos Santos using Gemini and reported in his paper [https://arxiv.org/abs/2610.22603 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 ==
<pre>
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
</pre>

[[Category:BB(6)]][[Category:Potential Cryptids]]