1RB0RE 1LC1LD 0RA0LD 1LB0LA 1RF1RA ---1LB: Difference between revisions
Jump to navigation
Jump to search
(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) -...") |
(add unsolved problem) |
||
Line 1: | Line 1: | ||
{{machine|1RB0RE_1LC1LD_0RA0LD_1LB0LA_1RF1RA_---1LB}} | {{machine|1RB0RE_1LC1LD_0RA0LD_1LB0LA_1RF1RA_---1LB}}{{unsolved|Does this TM halt? If so, how many steps does it take to halt?}} | ||
{{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]). | {{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]). | ||
Latest revision as of 01:20, 9 July 2025
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, ...