View source for 1RB1LE 1LC0RA 0RF0LD 1LE1LA 1RC0LB ---1RC

{{machine|1RB1LE_1LC0RA_0RF0LD_1LE1LA_1RC0LB_---1RC}}{{Stub}}{{unsolved|Does this TM halt or run forever?}}
{{TM|1RB1LE_1LC0RA_0RF0LD_1LE1LA_1RC0LB_---1RC}} is a really interesting [[BB(6)]] holdout TM. Wiki user N1vi highly doubts that it halts, but it creates pseudorandom spaces at the right. N1vi also ran it for ~860 million steps and the result is shown in the first image. The machine may be a [[fractal]]. [[User:RobinCodes|@RobinCodes]] ran it for ~166 billion steps, and the result is shown in the second image.

<gallery mode="packed">
File:860image.png|The TM ran for ~860 million steps
File:Screenshot of a machine's Blaze visualization.png|alt=Blaze visual representation of TM|The TM ran for ~166 billion steps
</gallery>

== -d's Rules ==
https://discord.com/channels/960643023006490684/1239205785913790465/1411637417709932544

<syntaxhighlight lang="python" line="1">
import sys
sys.set_int_max_str_digits(0)

# 1RB1LE_1LC0RA_0RF0LD_1LE1LA_1RC0LB_---1RC
# A(a,b) := 0^inf <C 10^a 110 10^b 0^inf
# B(a,b,c) := 0^inf <C 10^a 110 10^b 110 1010^c 0^inf

# next state for A(a,b), verified up to 0<=a,b<=100 (took ~2 min)
def next_A(a,b):
    if a<b: return (a*2+2,b-a-1)
    if a==b: return ()
    if a>b and (a-b)%2==1: return (a-b+1,b*2+2)
    if a>b and (a-b)%2==0: return (2,a-b-1,b+1)

# next state for B(a,b,c), verified up to 0<=a,b,c<=50 (took ~20 min)
def next_B(a,b,c):
    if a<b: return (a*2+2,b-a-1,c)
    if a==b: return (2,a*4+c*2+6)
    if a>b: return (2,a*2+c*2+2)

s=(2,0)  # start: A(2,0)
for i in range(552187):
    #print(i,s)
    if len(s)==0: break
    elif len(s)==2: s=next_A(*s)
    elif len(s)==3: s=next_B(*s)
    else: assert 0,'not covered'
print('final state',s)
</syntaxhighlight>

https://discord.com/channels/960643023006490684/1239205785913790465/1413771166555963483

Step counts for the rules listed above (top to bottom):
* + 10a^2 + 24a + 12 steps
* + 10a^2 + 26a + 15 steps
* + 10b^2 + 22b + 10a + 27 steps
* + 10b^2 + 22b + 10a + 38 steps

* + 10a^2 + 24a + 12 steps
* + 16ac + 26a^2 + 92a + 8c + 83 steps
* + 8ac - 8bc + 4a^2 + 6b^2 + 18a + 18b + 39 steps
Start with 15 steps.

@-d wrote a faster version of this program and ran it until <math>A(2^{33920}-2, 2^{33920}-1154)</math>. The TM does not halt within <math>2^{33920}</math> steps.

[[Category:BB(6)]]