1RB1LD 1RC1RE 0LA1LB 0LD1LC 1RF0RA ---0RC: Difference between revisions
Jump to navigation
Jump to search
(Added link to bbch) |
No edit summary Tags: Reverted Visual edit |
||
| Line 1: | Line 1: | ||
{{machine|1RB1LD_1RC1RE_0LA1LB_0LD1LC_1RF0RA_---0RC}}{{unsolved|Does this TM run forever?}} | {{machine|1RB1LD_1RC1RE_0LA1LB_0LD1LC_1RF0RA_---0RC}}{{unsolved|Does this TM run forever?}} | ||
{{TM|1RB1LD_1RC1RE_0LA1LB_0LD1LC_1RF0RA_---0RC}} is a [[probviously]] non-halting [[BB(6)]] [[Cryptid]] found by @mxdys and shared on Discord on 20 Aug 2024. | {{TM|1RB1LD_1RC1RE_0LA1LB_0LD1LC_1RF0RA_---0RC}} is a [[probviously]] non-halting [[BB(6)]] [[Cryptid]] found by @mxdys and shared on Discord on 20 Aug 2024. | ||
Xl643 Calls this <nowiki>'''</nowiki>Semi-antihydra<nowiki>'''</nowiki> | |||
== Analysis by @mxdys == | == Analysis by @mxdys == | ||
Revision as of 01:04, 11 August 2025
Unsolved problem:
Does this TM run forever?
1RB1LD_1RC1RE_0LA1LB_0LD1LC_1RF0RA_---0RC (bbch) is a probviously non-halting BB(6) Cryptid found by @mxdys and shared on Discord on 20 Aug 2024.
Xl643 Calls this '''Semi-antihydra'''
Analysis by @mxdys
1RB1LD_1RC1RE_0LA1LB_0LD1LC_1RF0RA_---0RC start: (0,0) (3x+0,y) --> (4x+4,y+1) (3x+1,y+1) --> (4x+5,y+2) (3x+2,y) --> (4x+8,max(0,y-1)) (3x+1,0) --> halt (x,y) := 0^inf 110 <B 11011 01^x 011^y 0^inf
After simulating the map for 10^6 steps, x was ~10^124940, while y = 331762. This biased pseudo-random walk did not get lucky and recross the origin early in its trajectory.
