View source for 1RB0RE 0RC--- 1LD1LE 1LE1LD 1RF0LC 1RA1RF

{{machine|1RB0RE_0RC---_1LD1LE_1LE1LD_1RF0LC_1RA1RF}}{{Stub}}
{{TM|1RB0RE_0RC---_1LD1LE_1LE1LD_1RF0LC_1RA1RF}} is a holdout [[BB(6)]] TM.

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

* When the starting state is A, the [[Tree Normal Form|TNF]] is {{TM|1RB0RE_0RC---_1LD1LE_1LE1LD_1RF0LC_1RA1RF}}.
* When the starting state is C, the TNF is {{TM|1RB1RC_1RC1RB_1LD0RA_1LE1LD_1LF0LC_0LA---}}. This TM is a holdout.
* When the starting state is D, the TNF is {{TM|1RB1RA_1LC0RF_1LD1LC_1LE0LB_0LF---_1RA1RB}}. This TM is a holdout.
* When the starting state is E, the TNF is {{TM|1RB0LE_1RC1RB_1RD0RA_0RE---_1LF1LA_1LA1LF}}. This TM is a holdout.
* When the starting state is F, the TNF is {{TM|1RB1RA_1RC0RF_0RD---_1LE1LF_1LF1LE_1RA0LD|halt}}. This TM halts after 17825053 steps.

== Analysis by mxdys ==

Chaotic 1D - CA in bell

[https://discord.com/channels/960643023006490684/1239205785913790465/1260916010685300746 mxdys — 11 Jul 2024 at 7:10 AM ET]

<pre>
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...
</pre>

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

[[Category:BB(6)]]