1RB0RE_0RC---_1LD1LE_1LE1LD_1RF0LC_1RA1RF

1RB0RE_0RC---_1LD1LE_1LE1LD_1RF0LC_1RA1RF (bbch) is a holdout BB(6) TM.

When the TM starts on these states, it exhibits similar behaviour:

• When the starting state is A, the TNF is 1RB0RE_0RC---_1LD1LE_1LE1LD_1RF0LC_1RA1RF (bbch).
• When the starting state is C, the TNF is 1RB1RC_1RC1RB_1LD0RA_1LE1LD_1LF0LC_0LA--- (bbch). This TM is a holdout.
• When the starting state is D, the TNF is 1RB1RA_1LC0RF_1LD1LC_1LE0LB_0LF---_1RA1RB (bbch). This TM is a holdout.
• When the starting state is E, the TNF is 1RB0LE_1RC1RB_1RD0RA_0RE---_1LF1LA_1LA1LF (bbch). This TM is a holdout.
• When the starting state is F, the TNF is 1RB1RA_1RC0RF_0RD---_1LE1LF_1LF1LE_1RA0LD (bbch). This TM halts after 17825053 steps.

Analysis by mxdys

Chaotic 1D - CA in bell

mxdys — 11 Jul 2024 at 7:10 AM ET

1RB0RE_0RC---_1LD1LE_1LE1LD_1RF0LC_1RA1RF (chaotic 1dCA in bell)

(...0 a1 a2 ... an > b1 b2 ... bm 0...)  :=  (0^inf 0 1^a1 0 1^a2 ... 0 1^an E> 1^b1 0 1^b2 0 ... 1^bm 0 0^inf)
(...0 a1 a2 ... an < b1 b2 ... bm 0...)  :=  (0^inf 0 1^a1 0 1^a2 ... 0 1^an <E 1^b1 0 1^b2 0 ... 1^bm 0 0^inf)


start from:
...0 1 < 2 0...


local rewrite rules:
a > 0 b c+1
-----------  (R)
a+b+2 0 > c


a > b+2
---------  (RL)
a+1 < b+1


a > 1 0...
---------- (RL'')
a+1 < 0...


a 2b+1 <
---------  (L)
< a+2 1^b


2a <
-------  (LR)
> 0 1^a


a > 0 b 0...
--------------  (RL')
a+b+3 < 2 0...

The machine is likely halting if these rules are not closed.