1RB1RA_1LC1LE_0LD0LB_0RA0RF_0LC0RA_1RD---

From BusyBeaverWiki
Revision as of 14:51, 28 May 2025 by Sligocki (talk | contribs) (Clarify that it's not a Cryptid (yet).)
Jump to navigation Jump to search


1RB1RA_1LC1LE_0LD0LB_0RA0RF_0LC0RA_1RD--- (bbch) is a BB(6) Turing machine, posted by mxdys on 26 July 2024.[1] Racheline originally suggested that it "maybe pentational BB(6) cryptid".[2] But after further analysis, it does not appear to have any clear path to halting, so it does not yet qualify as a Cryptid.

Analysis by Racheline

Posted by Racheline on 2 August 2024:[3] 

A(a,b+3,2c) -> A(a,b,3c)
A(a,b+1,2c+1) -> A(a,b,3c+1)
A(a+2,0,2c) -> A(a,15c-17,2m+1)
A(a+2,1,2c) -> A(a,15c-7,2)
A(a+8,2,4c) -> A(a,45c+15m-10,2)
A(a+7,2,4c+2) -> B(a,45c+15m+8,1,2)
A(a+7,0,4c+1) -> B(a,45c+15m-7,1,2)
A(a+8,0,4c+3) -> A(a,45c+15m+20,2)

B(a,b,c+3,2d) -> B(a,b,c,3d)
B(a,b,c+1,2d+1) -> B(a,b,c,3d+1)
B(a,b+3,0,2d) -> B(a,b,15d-10,2)
B(a,b+1,1,2d) -> B(a,b,15d-11,2) 
B(a+3,2b,2,2d) -> A(a,3b+15d-3,2)
B(a+2,2b+1,2,2d) -> B(a,3b+15d-6,1,2)
B(a+2,2b,0,2d+1) -> B(a,3b+15d-1,1,2)
B(a+3,2b+1,0,2d+1) -> A(a,3b+15d+5,2)

A(a,b,c) = (100)^a (01)^b 0 (01)^(5c-9) 00101101 A> 0^inf
B(a,b,c,d) = (100)^a (01)^b 0 (01)^c 0 (01)^(5d-9) 00101101 A> 0^inf

oh and m = 78201748517382892561132455470720498421856223797368814812889407 which i think is (HydraMap^352(2)-1)/2

References

  1. ↑ https://discord.com/channels/960643023006490684/1239205785913790465/1266428071817379862
  2. ↑ https://discord.com/channels/960643023006490684/1239205785913790465/1267546343816171565
  3. ↑ https://discord.com/channels/960643023006490684/1267928440506421283/1268996655122878474
Retrieved from "https://wiki.bbchallenge.org/w/index.php?title=1RB1RA_1LC1LE_0LD0LB_0RA0RF_0LC0RA_1RD---&oldid=2031"