User:MrSolis/Playground: Difference between revisions
Jump to navigation
Jump to search
(Created page with "The 5-state busy beaver") |
No edit summary |
||
| Line 1: | Line 1: | ||
The 5-state busy beaver | The 5-state busy beaver ([[BB(5)]]) winner is {{TM|1RB1LC_1RC1RB_1RD0LE_1LA1LD_1RZ0LA|halt}}. Discovered 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>, this machine proved that <math>\Sigma(5)\ge 4098</math> and <math>\Sigma(5)\ge 4098</math> at the time. | ||
Revision as of 19:01, 1 February 2025
The 5-state busy beaver (BB(5)) winner is 1RB1LC_1RC1RB_1RD0LE_1LA1LD_1RZ0LA (bbch). Discovered by Heiner Marxen and Jürgen Buntrock in 1989[1], this machine proved that and at the time.
- ↑ 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