1RB1LA_1LC0RC_1LD1RC_1RB1LE_0LF0LA_---0RB

From BusyBeaverWiki
Revision as of 14:26, 28 September 2025 by Polygon (talk | contribs) (Spacing)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

1RB1LA_1LC0RC_1LD1RC_1RB1LE_0LF0LA_1RZ0RB (bbch) is a halting BB(6) TM with a long-running Collatz-like analysis.

Analysis by @dyuan https://discord.com/channels/960643023006490684/1239205785913790465/1280618026844033086:

C(a, b, c) = 1^a 0 1^b C> 0 1^c

C(a, b+3, c) -> C(a+1, b, c+2)
C(a, 0, c) -> C(a+1, c, 0)
C(a+1, 1, c) -> C(0, a, c+3)
C(0, 1, c) -> Halt
C(a, 2, c) -> C(0, a+c+4, 0)

Start: C(0, 2, 0)

Halt simulation by @dyuan https://discord.com/channels/960643023006490684/1239205785913790465/1280672951364223029:

...
C(0, 4941994153, 0)
C(0, 4946359454, 0)
C(0, 4950724861, 0)
...
C(0, 1, 4954904166)

So sigma score is 4,954,904,169 (https://discord.com/channels/960643023006490684/1239205785913790465/1280675920071622657).

Step counts for the rules given in the upper table (top to bottom):

  • + 2b steps
  • + c + 3 steps
  • + 5 steps
  • + 4 steps
  • + c + 9 steps

Start with 4 steps.