1RB1RA 1LC1LE 0LD0LB 0RA0RF 0LC0RA 1RD---: Difference between revisions

From BusyBeaverWiki
Jump to navigation Jump to search
Int-y1 (talk | contribs)
m add category BB(6)
Int-y1 (talk | contribs)
similar tm's
 
Line 1: Line 1:
{{machine|1RB1RA_1LC1LE_0LD0LB_0RA0RF_0LC0RA_1RD---}}
{{machine|1RB1RA_1LC1LE_0LD0LB_0RA0RF_0LC0RA_1RD---}}
{{TM|1RB1RA_1LC1LE_0LD0LB_0RA0RF_0LC0RA_1RD---}} is a [[BB(6)]] Turing machine, posted by mxdys on 26 July 2024.<ref>https://discord.com/channels/960643023006490684/1239205785913790465/1266428071817379862</ref> Racheline originally suggested that it "maybe pentational BB(6) cryptid".<ref>https://discord.com/channels/960643023006490684/1239205785913790465/1267546343816171565</ref> But after further analysis, it does not appear to have any clear path to halting, so it does not yet qualify as a [[Cryptid]].
{{TM|1RB1RA_1LC1LE_0LD0LB_0RA0RF_0LC0RA_1RD---}} is a [[BB(6)]] Turing machine, posted by mxdys on 26 July 2024.<ref>https://discord.com/channels/960643023006490684/1239205785913790465/1266428071817379862</ref> Racheline originally suggested that it "maybe pentational BB(6) cryptid".<ref>https://discord.com/channels/960643023006490684/1239205785913790465/1267546343816171565</ref> But after further analysis, it does not appear to have any clear path to halting, so it does not yet qualify as a [[Cryptid]].
When the TM starts on these states, it exhibits similar behaviour:
* When the starting state is A, the [[Tree Normal Form|TNF]] is {{TM|1RB1RA_1LC1LE_0LD0LB_0RA0RF_0LC0RA_1RD---}}.
* When the starting state is B, the TNF is {{TM|1RB1RE_0RC0RA_0LD0LF_1LA1LD_0RB0LD_1LC---}}.
* When the starting state is F, the TNF is {{TM|1RB---_0RC0RA_1RD1RC_1LE1LF_0LB0LD_0LE0RC}}.


==Analysis by Racheline==
==Analysis by Racheline==

Latest revision as of 07:01, 28 September 2025

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.

When the TM starts on these states, it exhibits similar behaviour:

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