1RB1LD 1RC1RE 0LA1LB 0LD1LC 1RF0RA ---0RC: Difference between revisions
Jump to navigation
Jump to search
(Created page with "{{machine|1RB1LD_1RC1RE_0LA1LB_0LD1LC_1RF0RA_---0RC}} This is a BB(6) Cryptid found by @mxdys and shared on Discord on 20 Aug 2024. == Analysis by @mxdys == <pre> 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 </pre>") |
(add unsolved problem) |
||
| Line 1: | Line 1: | ||
{{machine|1RB1LD_1RC1RE_0LA1LB_0LD1LC_1RF0RA_---0RC}} | {{machine|1RB1LD_1RC1RE_0LA1LB_0LD1LC_1RF0RA_---0RC}}{{unsolved|Does this TM run forever?}} | ||
This is a [[BB(6)]] [[Cryptid]] found by @mxdys and shared on Discord on 20 Aug 2024. | This is a [[BB(6)]] [[Cryptid]] found by @mxdys and shared on Discord on 20 Aug 2024. | ||
Revision as of 01:27, 9 July 2025
Unsolved problem:
Does this TM run forever?
This is a BB(6) Cryptid found by @mxdys and shared on Discord on 20 Aug 2024.
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