1RB2RB1LA 2LC0LB2LB 2RC2RA0LC: Difference between revisions
Jump to navigation
Jump to search
Added category |
No edit summary |
||
| Line 1: | Line 1: | ||
{{machine|1RB2RB1LA_2LC0LB2LB_2RC2RA0LC}} | {{machine|1RB2RB1LA_2LC0LB2LB_2RC2RA0LC}} | ||
{{TM|1RB2RB1LA_2LC0LB2LB_2RC2RA0LC}} is | {{TM|1RB2RB1LA_2LC0LB2LB_2RC2RA0LC}} is a former [[BLB]](3,3) champion blanking the tape after <math>10^{42745}</math> steps | ||
== Analysis == | == Analysis == | ||
<pre> | <pre> | ||
Latest revision as of 14:43, 29 September 2026
1RB2RB1LA_2LC0LB2LB_2RC2RA0LC (bbch) is a former BLB(3,3) champion blanking the tape after steps
Analysis
A(x,y)=2 C> 2^x 0 1^y A(x,y) -> A(2x+5,y-3) if y>2 A(x,0) -> blank A(x,1) -> A(8,2x+1) A(x,2) -> blank A(8,4) -> A(21,1) -> A(8,43) -> A(21,40) -> A(47,37) -> A(99,34) -> A(203,31) -> A(411,28) -> A(827,25) -> A(1659,22) -> A(3323,19) -> A(6651,16) -> A(13307,13) -> A(26619,10) -> A(53243,7) -> A(106491,4) -> A(212987,1) -> A(8,425975) -> ... -> A(13*2^141991-5,2) -> blank