1RB1RA 1LC0RC ---0LD 0LE0RF 1RE0RA 0LF1LB
1RB1RA_1LC0RC_---0LD_0LE0RF_1RE0RA_0LF1LB (bbch) is a BB(6) holdout TM. It is equivalent to 1RB1RA_1LC0RC_---0LD_0LE0LF_1RE0RA_0LF1LB (bbch). It was analysed by Racheline on June 29, 2024.[1]
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.[2]