1RB0LD 1RC1RF 1LA0RA 0LA0LE 1LD1LA 0RB---: Difference between revisions
Jump to navigation
Jump to search
(plot of halting parameter, noted probviousicity) |
mNo edit summary |
||
| 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 probviously non-halting [[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 == | ||
Revision as of 09:55, 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.