1RB1LD 1RC1RB 1LC1LA 0RC0RD: Difference between revisions
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
- ↑ Nick Drozd. A New Record in Self-Cleaning Turing Machines. 2021.