5-state busy beaver winner: Difference between revisions
Jump to navigation
Jump to search
m (formatting) |
No edit summary |
||
Line 1: | Line 1: | ||
{{machine|1RB1LC_1RC1RB_1RD0LE_1LA1LD_1RZ0LA}} | {{machine|1RB1LC_1RC1RB_1RD0LE_1LA1LD_1RZ0LA}} | ||
The 5-state busy beaver champion (and winner!) is: {{TM|1RB1LC_1RC1RB_1RD0LE_1LA1LD_1RZ0LA}}. It was found by Heiner Marxen and Jürgen Buntrock in 1989<ref>H. Marxen and J. Buntrock. Attacking the Busy Beaver 5. Bulletin of the EATCS, 40, pages 247-251, February 1990. https://turbotm.de/~heiner/BB/mabu90.html</ref>. The machine halts after 47,176,870 steps and with 4098 1's on the tape, showing that <math>BB(5) \ge 47{,}176{,}870</math> and <math>\Sigma(5) \ge 4098</math>. | The 5-state busy beaver champion (and winner!) is: {{TM|1RB1LC_1RC1RB_1RD0LE_1LA1LD_1RZ0LA|halt}}. It was found by Heiner Marxen and Jürgen Buntrock in 1989<ref>H. Marxen and J. Buntrock. Attacking the Busy Beaver 5. Bulletin of the EATCS, 40, pages 247-251, February 1990. https://turbotm.de/~heiner/BB/mabu90.html</ref>. The machine halts after 47,176,870 steps and with 4098 1's on the tape, showing that <math>BB(5) \ge 47{,}176{,}870</math> and <math>\Sigma(5) \ge 4098</math>. | ||
== Behavior == | == Behavior == |
Revision as of 13:09, 13 August 2024
The 5-state busy beaver champion (and winner!) is: 1RB1LC_1RC1RB_1RD0LE_1LA1LD_1RZ0LA
(bbch). It was found by Heiner Marxen and Jürgen Buntrock in 1989[1]. The machine halts after 47,176,870 steps and with 4098 1's on the tape, showing that and .
Behavior
This machine repeatedly applies the following map, starting with [2]:
which can alternatively be written as[3]:
The full orbit from is:
References
- ↑ H. Marxen and J. Buntrock. Attacking the Busy Beaver 5. Bulletin of the EATCS, 40, pages 247-251, February 1990. https://turbotm.de/~heiner/BB/mabu90.html
- ↑ Aaronson, S. (2020). The Busy Beaver Frontier. Page 10-11. https://www.scottaaronson.com/papers/bb.pdf
- ↑ Pascal Michel. Behavior of busy beavers.https://bbchallenge.org/~pascal.michel/beh#tm52a