Massively Collaborative Research
The Busy Beaver Challenge
1RB1LA_1RC0RC_1LA1RD_1LE1RD_---1LF_1LE0LA halts in about 10^36 steps
Featured Links
Description
1RB1LA_1RC0RC_1LA1RD_1LE1RD_---1LF_1LE0LA start: (0,3,0) (a,3b, c) -> (0,a+3b+c+2,0) (a,3b+1,c) -> (a+b+2,c+2b,0) (a,3b+2,c) -> (0,a+b-1,c+2b+4), if a+b>0 (a,3b+2,c) -> halt, if a+b=0 (a,b,c) := 0^inf 1^a 0 1^b <A 0 1^(c+2) 0^inf Halts after after 933,995,238,981 rules applications