1RB0LD 1RC1RF 1LA0RA 0LA0LE 1LD1LA 0RB---: Difference between revisions
Jump to navigation
Jump to search
(Created page with "{{machine|1RB0LD_1RC1RF_1LA0RA_0LA0LE_1LD1LA_0RB---}} This is a BB(6) Cryptid found by @dyuan01 and shared on Discord on 04 Sep 2024. == Rules == <pre> 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 </pre> For simplicity only one potential halting rule is shown.") |
(add unsolved problem) |
||
| Line 1: | Line 1: | ||
{{machine|1RB0LD_1RC1RF_1LA0RA_0LA0LE_1LD1LA_0RB---}} | {{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 [[BB(6)]] [[Cryptid]] found by @dyuan01 and shared on Discord on 04 Sep 2024. | ||
Revision as of 01:12, 9 July 2025
Unsolved problem:
Does this TM run forever?
This is a 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.