1RB0RE_0RC---_1LD1LE_1LE1LD_1RF0LC_1RA1RF

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

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

are these rules closed? it's likely to halt if these rules are not closed.