1RB0LB 1LC0RE 1LA1LD 0LC--- 0RB0RF 1RE1RB: Difference between revisions
Jump to navigation
Jump to search
(Added Category:Cryptids) |
(plot of halting parameter, noted probviousicity) |
||
| Line 1: | Line 1: | ||
{{machine|1RB0LB_1LC0RE_1LA1LD_0LC---_0RB0RF_1RE1RB}}{{unsolved|Does this TM run forever?}} | {{machine|1RB0LB_1LC0RE_1LA1LD_0LC---_0RB0RF_1RE1RB}}{{unsolved|Does this TM run forever?}} | ||
This is a [[BB(6)]] [[Cryptid]] found by @racheline and shared on Discord on 25 Nov 2024. | This is a probviously nonhalting [[BB(6)]] [[Cryptid]] found by @racheline and shared on Discord on 25 Nov 2024. | ||
== Rules == | == Rules == | ||
| Line 12: | Line 12: | ||
(a,n) := 0^inf 10 01^a 0^n <A 11011 0^inf | (a,n) := 0^inf 10 01^a 0^n <A 11011 0^inf | ||
</pre> | </pre> | ||
[[File:A t100k 1RB0LB 1LC0RE 1LA1LD 0LC--- 0RB0RF 1RE1RB.png|thumb|Plot of the first entry in (x,y) over the first 100k steps of this TM. The TM enters a new phase (or halts) if x hits 0. This is extremely unlikely.]] | |||
For simplicity only one potential halting rule is shown. In fact, it also has the potential to become a translated cycler or bouncer when it reaches (0,n). | For simplicity only one potential halting rule is shown. In fact, it also has the potential to become a translated cycler or bouncer when it reaches (0,n). | ||
[[Category:Cryptids]] | [[Category:Cryptids]] | ||
Revision as of 04:35, 10 August 2025
Unsolved problem:
Does this TM run forever?
This is a probviously nonhalting BB(6) Cryptid found by @racheline and shared on Discord on 25 Nov 2024.
Rules
start: (4,124) (a+1,3n+0) --> (a+7,4n+4) (a+1,3n+1) --> (a+0,4n+7) (a+1,3n+2) --> (a+5,4n+4) (0,3(27n+21)+1) --> halt (a,n) := 0^inf 10 01^a 0^n <A 11011 0^inf
For simplicity only one potential halting rule is shown. In fact, it also has the potential to become a translated cycler or bouncer when it reaches (0,n).