1RB1LA_1RC0RC_1LA1RD_1LE1RD_---1LF_1LE0LA

From BusyBeaverWiki
Revision as of 17:55, 7 March 2026 by Polygon (talk | contribs) (Analysis by @mxdys: improved formatting)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

1RB1LA_1RC0RC_1LA1RD_1LE1RD_---1LF_1LE0LA (bbch) is a halting BB(6) TM which runs for about 1036 steps.[1] It was discovered by mxdys in August 2024.[2]

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.

References