View source for 1RB1LE 1RC1RA 0LD1RB 1LE1LD 1RF0LA ---0RE

{{machine|1RB1LE_1RC1RA_0LD1RB_1LE1LD_1RF0LA_---0RE}}
{{TM|1RB1LE_1RC1RA_0LD1RB_1LE1LD_1RF0LA_---0RE}} 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:
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
</pre>

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