View source for 1RB1LA 1LC0RC 1LD1RC 1RB1LE 0LF0LA ---0RB

{{machine|1RB1LA_1LC0RC_1LD1RC_1RB1LE_0LF0LA_---0RB}}
{{TM|1RB1LA_1LC0RC_1LD1RC_1RB1LE_0LF0LA_1RZ0RB|halt}} is a halting [[BB(6)]] TM with a long-running Collatz-like analysis.

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

<pre>
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)
</pre>

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

<pre>
...
C(0, 4941994153, 0)
C(0, 4946359454, 0)
C(0, 4950724861, 0)
...
C(0, 1, 4954904166)
</pre>

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.
[[Category:BB(6)]]