1RB1RA 1LC0RC ---0LD 0LE0RF 1RE0RA 0LF1LB

1RB1RA_1LC0RC_---0LD_0LE0LF_1RE0RA_0LF1LB (bbch) is a BB(6) holdout TM. It was analysed by Racheline on June 29, 2024.

Analysis by Racheline

https://discord.com/channels/960643023006490684/1026577255754903572/1256377562582487140

encoding: 0^inf 1^a 0 1^b A> 0 1^c 0 1^d ... -> (a,b,c,d,...)
rules:
(a,4b,0,d,e,f,...) -> (3,a+4b+d,e,f,...)
(a,4b+1,0,d,e,f,...) -> (3,a+3b-3,0,0,b+d+1,e,f,...)
(a,4b+2,0,d,e,f,...) -> (3,a+3b-5,0,2,0,b+d+1,e,f,...)
(a,4b+3,0,d,e,f,...) -> (a+3b+5,b+d,e,f,...)
(a,b,c,d,e,f,...) -> (a+3,b+c-2,d,e,f,...)
(a,b,1,d,e,f,...) -> halt
oh, how could i forget
start = (0,0,0,0,0,0,...)
(yes these rules are applied starting from the first TM step, which is cool)

These rules have been simulated out to 100 million iterations without having halted.