1RB0LD 1RC0RF 1LC1LA 0LE1RZ 1LF0RB 0RC0RE: Difference between revisions

From BusyBeaverWiki
Jump to navigation Jump to search
(Used Template:Stub)
m (Removed excess spaces)
 
(2 intermediate revisions by the same user not shown)
Line 1: Line 1:
{{machine|1RB0LD_1RC0RF_1LC1LA_0LE1RZ_1LF0RB_0RC0RE}}
{{machine|1RB0LD_1RC0RF_1LC1LA_0LE1RZ_1LF0RB_0RC0RE}}{{Stub}}
{{Stub}}
{{TM|1RB0LD_1RC0RF_1LC1LA_0LE1RZ_1LF0RB_0RC0RE|halt}} 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: <math>10 \uparrow\uparrow 15.60463 < Score < Runtime < 10 \uparrow\uparrow 15.60466</math><ref>S. Ligocki, "[https://www.sligocki.com/2022/06/25/ext-up-notation.html Extending Up-arrow Notation]". Blog Post, 2022. Accessed 15 August 2025.</ref>. See analysis: <ref>S. Ligocki, "[https://www.sligocki.com/2022/06/21/bb-6-2-t15.html BB(6, 2) > 10↑↑15]". Blog post, 2022. Accessed 20 June 2024.</ref>.
{{TM|1RB0LD_1RC0RF_1LC1LA_0LE1RZ_1LF0RB_0RC0RE|halt}} is a former [[BB(6)]] champion. It was discovered by Pavel Kropitz on 30 May 2022. This TM runs for over 10↑↑15 steps. See analysis: <ref>S. Ligocki, "[https://www.sligocki.com/2022/06/21/bb-6-2-t15.html BB(6, 2) > 10↑↑15]". Blog post, 2022. Accessed 20 June 2024.</ref>.


It simulates the following Collatz-like rules, starting at <math>C(5)</math>, on tape configurations <math>C(n) = 0^\infty\; 1\; 0^n\; 11\; 0^5\; \textrm{C>}\; 0^\infty</math>:
It simulates the following Collatz-like rules, starting at <math>C(5)</math>, on tape configurations <math>C(n) = 0^\infty\; 1\; 0^n\; 11\; 0^5\; \textrm{C>}\; 0^\infty</math>:

Latest revision as of 18:05, 15 August 2025

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: [1]. See analysis: [2].

It simulates the following Collatz-like rules, starting at , on tape configurations :

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.