View source for 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]].

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==
Posted by Racheline on 2 August 2024:<ref>https://discord.com/channels/960643023006490684/1267928440506421283/1268996655122878474</ref>

 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 ==

[[Category:BB(6)]]