1RB1LA_1LC0RE_1LF1LD_0RB0LA_1RC1RE_---0LD

From BusyBeaverWiki
Revision as of 01:21, 9 July 2025 by Int-y1 (talk | contribs) (add unsolved problem)
Jump to navigation Jump to search
Unsolved problem:
Does this TM run forever?

1RB1LA_1LC0RE_1LF1LD_0RB0LA_1RC1RE_---0LD (bbch)

Probviously Nonhalting BB(6) Cryptid.

Analysis by @mxdys 9 Jan 2025:

1RB1LA_1LC0RE_1LF1LD_0RB0LA_1RC1RE_---0LD

start: (3,1)
(0,2+c) --> (4+c,1)
(1,c) --> halt
(2+2b,c) --> (7+5b+c,1)
(3+2b,c) --> (b,4+b+c)

(b,c) := 0^inf <A 1^b 00 1^c 0^inf