1RB0LD 1RC1RA 1LD0RB 1LE1LA 1RF0RC ---1RE: Difference between revisions
Jump to navigation
Jump to search
(Created page with "{{machine|1RB0LD_1RC1RA_1LD0RB_1LE1LA_1RF0RC_---1RE}} {{TM|1RB0LD_1RC1RA_1LD0RB_1LE1LA_1RF0RC_---1RE}} is a probviously halting BB(6) Cryptid analzyed by mxdys on 30 July 2025. == Analysis by mxdys == [https://discord.com/channels/960643023006490684/1239205785913790465/1400141896944320602] <pre> 1RB0LD_1RC1RA_1LD0RB_1LE1LA_1RF0RC_---1RE (a,b,c) := 0^inf 1^a 0 01^b 0 11^c+1 B> 0^inf (a,2+b,c) --> (a,b,3+c) (a+1,0,c) --> (a,c,2) (a+1,1,c) --> (a,c,6) (0,0,c...") |
(No difference)
|
Revision as of 15:59, 30 July 2025
1RB0LD_1RC1RA_1LD0RB_1LE1LA_1RF0RC_---1RE (bbch) is a probviously halting BB(6) Cryptid analzyed by mxdys on 30 July 2025.
Analysis by mxdys
1RB0LD_1RC1RA_1LD0RB_1LE1LA_1RF0RC_---1RE (a,b,c) := 0^inf 1^a 0 01^b 0 11^c+1 B> 0^inf (a,2+b,c) --> (a,b,3+c) (a+1,0,c) --> (a,c,2) (a+1,1,c) --> (a,c,6) (0,0,c) --> halt (0,1,c) --> (2c+9,0,0) start: (3,0,0)
Confirmation that it doesn't halt early:
(3,0,0) --> ... (25,0,0) --> ... (227097,0,0) --> ... (_,0,0) --> ...