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

From BusyBeaverWiki
Jump to navigation Jump to search
(Add TM Template)
(Add Collatz-like rule)
Line 3: Line 3:


Current [[BB(6)]] Champion. Discovered by Pavel Kropitz on 30 May 2022. This TM runs for over 10↑↑15 steps. See analysis: [https://www.sligocki.com/2022/06/21/bb-6-2-t15.html BB(6, 2) > 10↑↑15].
Current [[BB(6)]] Champion. Discovered by Pavel Kropitz on 30 May 2022. This TM runs for over 10↑↑15 steps. See analysis: [https://www.sligocki.com/2022/06/21/bb-6-2-t15.html BB(6, 2) > 10↑↑15].
It simulates the following Collatz-like rules starting at C(5):
<math display="block">\begin{array}{l}
  C(4k)  & \to & Halt(\frac{3^{k+3} - 11}{2}) \\
  C(4k+1) & \to & C(\frac{3^{k+3} - 11}{2}) \\
  C(4k+2) & \to & C(\frac{3^{k+3} - 11}{2}) \\
  C(4k+3) & \to & C(\frac{3^{k+3} + 1}{2}) \\
\end{array}</math>
[[Category:Stub]]

Revision as of 01:52, 18 July 2024

1RB0LD_1RC0RF_1LC1LA_0LE1RZ_1LF0RB_0RC0RE (bbch)

Current BB(6) Champion. Discovered by Pavel Kropitz on 30 May 2022. This TM runs for over 10↑↑15 steps. See analysis: BB(6, 2) > 10↑↑15.

It simulates the following Collatz-like rules starting at C(5):