1RB1LD 1RC1RB 1LC1LA 0RC0RD: Difference between revisions

From BusyBeaverWiki
Jump to navigation Jump to search
(Created page with "{{machine|1RB1LD_1RC1RB_1LC1LA_0RC0RD}} {{TM|1RB1LD_1RC1RB_1LC1LA_0RC0RD}} Blanking Beaver BLB(4,2) champion which creates a blank tape after 32,779,477 steps. It was discovered and reported by Nick Drozd in 2021.<ref>Nick Drozd. [https://nickdrozd.github.io/2021/07/11/self-cleaning-turing-machine.html A New Record in Self-Cleaning Turing Machines]. 2021.</ref> == Analysis by Shawn Ligocki == Let <math display="block">D(a, b) = 0^\infty \; 1^a \; 0^...")
 
m (Add links)
Line 2: Line 2:
{{TM|1RB1LD_1RC1RB_1LC1LA_0RC0RD}}
{{TM|1RB1LD_1RC1RB_1LC1LA_0RC0RD}}


Blanking Beaver BLB(4,2) champion which creates a blank tape after 32,779,477 steps. It was discovered and reported by Nick Drozd in 2021.<ref>Nick Drozd. [https://nickdrozd.github.io/2021/07/11/self-cleaning-turing-machine.html A New Record in Self-Cleaning Turing Machines]. 2021.</ref>
[[Blanking Beaver]] BLB(4,2) champion which creates a blank tape after 32,779,477 steps. It was discovered and reported by Nick Drozd in 2021.<ref>Nick Drozd. [https://nickdrozd.github.io/2021/07/11/self-cleaning-turing-machine.html A New Record in Self-Cleaning Turing Machines]. 2021.</ref>


== Analysis by [[User:sligocki|Shawn Ligocki]] ==
== Analysis by [[User:sligocki|Shawn Ligocki]] ==
Let <math display="block">D(a, b) = 0^\infty \; 1^a \; 0^b \; \textrm{D>} \; 0^\infty</math>then:<math display="block">\begin{array}{lc}
Let <math display="block">D(a, b) = 0^\infty \; 1^a \; 0^b \; \textrm{D>} \; 0^\infty</math>then:<math display="block">\begin{array}{lc}
   D(a+3, & b) & \to & D(a, b+5) \\
   D(a+3, & b) & \to & D(a, b+5) \\
Line 25: Line 23:
     & \to & D(166) & \to & D(281) & \to & D(472) & \to & D(791) & \to & D(1322) \\
     & \to & D(166) & \to & D(281) & \to & D(472) & \to & D(791) & \to & D(1322) \\
     & \to & D(2207) & \to & D(3682) & \to & D(6141) & \to & \textrm{Blank} \\
     & \to & D(2207) & \to & D(3682) & \to & D(6141) & \to & \textrm{Blank} \\
\end{array} </math>which has the remarkable luck of applying this Collatz-like map 14 times before reaching the blanking config (expected # of applications before halting is 3).
\end{array} </math>which has the remarkable luck of applying this [[Collatz-like]] map 14 times before reaching the blanking config (expected # of applications before halting is 3).


== References ==
== References ==

Revision as of 17:25, 4 September 2024

1RB1LD_1RC1RB_1LC1LA_0RC0RD (bbch)

Blanking Beaver BLB(4,2) champion which creates a blank tape after 32,779,477 steps. It was discovered and reported by Nick Drozd in 2021.[1]

Analysis by Shawn Ligocki

Let

then:
let , then we can simplify to:

Starting from (at step 19) we get the trajectory:

which has the remarkable luck of applying this Collatz-like map 14 times before reaching the blanking config (expected # of applications before halting is 3).

References