1RB0RE_1LC1LD_0RA0LD_1LB0LA_1RF1RA_---1LB

From BusyBeaverWiki
Revision as of 16:31, 2 March 2025 by Sligocki (talk | contribs) (Created page with "{{machine|1RB0RE_1LC1LD_0RA0LD_1LB0LA_1RF1RA_---1LB}} {{TM|1RB0RE_1LC1LD_0RA0LD_1LB0LA_1RF1RA_---1LB}} is a probviously halting tetrational BB(6) Cryptid found by Racheline on 30 July 2024 ([https://discord.com/channels/960643023006490684/1239205785913790465/1267752546546487357 Discord link]). <pre> 1RB0RE_1LC1LD_0RA0LD_1LB0LA_1RF1RA_---1LB A(n,m) = 0^inf (01)^(3n-4) A> (01)^m 0^inf A(2n,m) -> A(3n,m-2) A(2n+1,m) -> A(3n+1,m-1) A(n,0) -> A(2,3n-4) A(n,-1) -...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

1RB0RE_1LC1LD_0RA0LD_1LB0LA_1RF1RA_---1LB (bbch) is a probviously halting tetrational BB(6) Cryptid found by Racheline on 30 July 2024 (Discord link).

1RB0RE_1LC1LD_0RA0LD_1LB0LA_1RF1RA_---1LB
A(n,m) = 0^inf (01)^(3n-4) A> (01)^m 0^inf

A(2n,m) -> A(3n,m-2)
A(2n+1,m) -> A(3n+1,m-1)
A(n,0) -> A(2,3n-4)
A(n,-1) -> halt
start from A(2,0)

it's kinda like the original halting cryptid candidate - we can rewrite it like this:
a_0 = 2 and a_(i+1) = HydraMap(a_i)
b_0 = 0 and b_(i+1) = b_i+(1 if a_i is odd otherwise 2)
c_0 = 0 and c_(i+1) = 3a_j-4 where j is such that b_j = c_i

a: 2, 3, 4, 6, 9, 13, 19, 28, 42, 63, 94, 141, ...
b: 0, 2, 3, 5, 7,  8,  9, 10, 12, 14, 15,  17, ...
c: 0, 2, 5, 14, 185, 22205951667644132025548, ...