1RB0RC 1RC0LC 0RD1LE 1LE1RF 0LB--- 0RA1LA: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

28 September 2025

27 September 2025

21 September 2025

25 August 2025

5 August 2025

6 December 2024

  • curprev 16:2516:25, 6 December 2024‎ Sligocki talk contribs‎ 748 bytes +748‎ Created page with "{{machine|1RB0RC_1RC0LC_0RD1LE_1LE1RF_0LB---_0RA1LA}} {{TM|1RB0RC_1RC0LC_0RD1LE_1LE1RF_0LB---_0RA1LA}} is a holdout BB(6) TM proven infinite by hand by @mxdys on 6 Dec 2024 Analysis by @mxdys: <pre> f(n0, ()) := n0 f(n0, (n,ls)) := 2*(f(n0, ls) - n) start: (2, (), 1) (k, ls, n) --> (k+1, (n,ls), 2*(f(2^k, ls)-(n+2))), f(2^k, ls)-(n+2) >= 0 </pre> Follow up by User:sligocki: <pre> Let (k, ls, n) --> (k+1, [n, ls], n') Then: n'+2 = 2 (f(2^k, ls) - n) - 2..."
Retrieved from "https://wiki.bbchallenge.org/wiki/1RB0RC_1RC0LC_0RD1LE_1LE1RF_0LB---_0RA1LA"