1RB0LD_1RC0RF_1LC1LA_0LE1RZ_1LF0RB_0RC0RE

From BusyBeaverWiki
Revision as of 19:37, 7 October 2025 by RobinCodes (talk | contribs) (Attempted fix for "math input error" for this page)
Jump to navigation Jump to search

1RB0LD_1RC0RF_1LC1LA_0LE1RZ_1LF0RB_0RC0RE (bbch) is a former BB(6) champion. It was discovered by Pavel Kropitz on 30 May 2022. This TM runs for over 10↑↑15 steps. An improved bound for this TMs runtime was achieved by Shawn Ligocki, using an extended version of tetration: 1015.60463<Score<Runtime<1015.60466[1]. See analysis: [2].

It simulates the following Collatz-like rules, starting at C(5), on tape configurations C(n)=010n1105C>0:

C(4k)Halt(3k+3112)C(4k+1)C(3k+3112)C(4k+2)C(3k+3112)C(4k+3)C(3k+3+12)

References

  1. S. Ligocki, "Extending Up-arrow Notation". Blog Post, 2022. Accessed 15 August 2025.
  2. S. Ligocki, "BB(6, 2) > 10↑↑15". Blog post, 2022. Accessed 20 June 2024.