1RB0LD 1RC1RF 1LA0RA 0LA0LE 1LD1LA 0RB---: Difference between revisions
Jump to navigation
Jump to search
m add category BB(6) |
similar tm |
||
| Line 14: | Line 14: | ||
[[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.]] | [[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. | ||
== Similar TMs == | |||
If the starting state is set to C and put into [[Tree Normal Form|TNF]], the TM becomes {{TM|1RB0LB_1LC0RE_1LA1LD_0LC---_0RB0RF_1RE1RB}}. | |||
[[Category:BB(6)]][[Category:Cryptids]] | [[Category:BB(6)]][[Category:Cryptids]] | ||
Latest revision as of 04:43, 28 September 2025
Unsolved problem:
Does this TM run forever?
1RB0LD_1RC1RF_1LA0RA_0LA0LE_1LD1LA_0RB--- (bbch) 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.
Similar TMs
If the starting state is set to C and put into TNF, the TM becomes 1RB0LB_1LC0RE_1LA1LD_0LC---_0RB0RF_1RE1RB (bbch).