1RB1LA 1RC0RC 1LA1RD 1LE1RD ---1LF 1LE0LA: Difference between revisions
Jump to navigation
Jump to search
m add category BB(6) |
RobinCodes (talk | contribs) m →Analysis by mxdys: Removed reference to nonexistent user page (mxdys) |
||
| Line 2: | Line 2: | ||
{{TM|1RB1LA_1RC0RC_1LA1RD_1LE1RD_---1LF_1LE0LA|halt}} is a halting [[BB(6)]] TM which runs for about <math>10^{36}</math> steps. It was discovered by mxdys in 2024. | {{TM|1RB1LA_1RC0RC_1LA1RD_1LE1RD_---1LF_1LE0LA|halt}} is a halting [[BB(6)]] TM which runs for about <math>10^{36}</math> steps. It was discovered by mxdys in 2024. | ||
==Analysis by | ==Analysis by @mxdys== | ||
<pre> | <pre> | ||
1RB1LA_1RC0RC_1LA1RD_1LE1RD_---1LF_1LE0LA | 1RB1LA_1RC0RC_1LA1RD_1LE1RD_---1LF_1LE0LA | ||
Latest revision as of 15:51, 8 October 2025
1RB1LA_1RC0RC_1LA1RD_1LE1RD_---1LF_1LE0LA (bbch) is a halting BB(6) TM which runs for about steps. It was discovered by mxdys in 2024.
Analysis by @mxdys
1RB1LA_1RC0RC_1LA1RD_1LE1RD_---1LF_1LE0LA Start: (0,3,0) (a,3b,c) -> (0,a+3b+c+2,0) (a,3b+1,c) -> (a+b+2,c+2b,0) (a,3b+2,c) -> (0,a+b-1,c+2b+4), if a+b>0 (a,3b+2,c) -> halt, if a+b=0 (a,b,c) := 0^inf 1^a 0 1^b <A 0 1^(c+2) 0^inf Halts after 933,995,238,981 rule applications.