1RB0LD 1RC1RF 1LA0RA 0LA0LE 1LD1LA 0RB---: Difference between revisions
Jump to navigation
Jump to search
(Added Category:Cryptids) |
(plot of halting parameter, noted probviousicity) |
||
| Line 1: | Line 1: | ||
{{machine|1RB0LD_1RC1RF_1LA0RA_0LA0LE_1LD1LA_0RB---}}{{unsolved|Does this TM run forever?}} | {{machine|1RB0LD_1RC1RF_1LA0RA_0LA0LE_1LD1LA_0RB---}}{{unsolved|Does this TM run forever?}} | ||
This is a [[BB(6)]] [[Cryptid]] found by @dyuan01 and shared on Discord on 04 Sep 2024. | This is a probviously non-halting [[BB(6)]] [[Cryptid]] found by @dyuan01 and shared on Discord on 04 Sep 2024. | ||
== Rules == | == Rules == | ||
| Line 12: | Line 12: | ||
(b,c) := 0^inf 110 A> 0^b 10^c 01 0^inf | (b,c) := 0^inf 110 A> 0^b 10^c 01 0^inf | ||
</pre> | </pre> | ||
[[File:B 100k 1RB0LD 1RC1RF 1LA0RA 0LA0LE 1LD1LA 0RB---.png|thumb|Plot of the second entry in (b,c) over the first 100k steps of this TM. The TM halts or enters a new phase if x hits 0. This is extremely unlikely.]] | |||
For simplicity only one potential halting rule is shown. | For simplicity only one potential halting rule is shown. | ||
[[Category:Cryptids]] | [[Category:Cryptids]] | ||
Revision as of 09:54, 10 August 2025
Unsolved problem:
Does this TM run forever?
This is a probviously non-halting BB(6) Cryptid found by @dyuan01 and shared on Discord on 04 Sep 2024.
Rules
start: (1,0) (3b+0,c+1) --> (4b+5,c) (3b+1,c) --> (4b+2,c+4) (3b+2,c+1) --> (4b+6,c+7) (3(3(3(3b+2)+1)+1)+0,0) --> halt (b,c) := 0^inf 110 A> 0^b 10^c 01 0^inf
For simplicity only one potential halting rule is shown.