BusyBeaverWiki - User contributions [en]

1RB0LC 1RC1RA 1RD0RF 0LE--- 1LA1LE 0RA1RF

2025-10-12T17:57:00Z

N1vi: Created page with "{{machine|1RB0LC_1RC1RA_1RD0RF_0LE---_1LA1LE_0RA1RF}} 1RB0LC_1RC1RA_1RD0RF_0LE---_1LA1LE_0RA1RF is a machine that yet haven't been analysed The machine after 30,000 steps"

{{machine|1RB0LC_1RC1RA_1RD0RF_0LE---_1LA1LE_0RA1RF}}

1RB0LC_1RC1RA_1RD0RF_0LE---_1LA1LE_0RA1RF is a machine that yet haven't been analysed

[[File:30kstepsmachine.jpg|thumb|The machine after 30,000 steps]]

File:30kstepsmachine.jpg

2025-10-12T17:55:34Z

N1vi:

The machine after 30,000 steps

1RB0RE 1LC1LD 0RA0LD 1LB0LA 1RF1RA ---1LB

2025-10-12T17:28:18Z

N1vi:

{{machine|1RB0RE_1LC1LD_0RA0LD_1LB0LA_1RF1RA_---1LB}}{{unsolved|Does this TM halt? If so, how many steps does it take to halt?}}
{{TM|1RB0RE_1LC1LD_0RA0LD_1LB0LA_1RF1RA_---1LB}} is a [[probviously]] halting tetrational [[BB(6)]] [[Cryptid]] found by Racheline on 30 July 2024 ([https://discord.com/channels/960643023006490684/1239205785913790465/1267752546546487357 Discord link]).

==Analysis by Racheline==
<pre>
1RB0RE_1LC1LD_0RA0LD_1LB0LA_1RF1RA_---1LB
A(n,m) = 0^inf (01)^(3n-4) A> (01)^m 0^inf

A(2n,m) -> A(3n,m-2)
A(2n+1,m) -> A(3n+1,m-1)
A(n,0) -> A(2,3n-4)
A(n,-1) -> halt
start from A(2,0)

it's kinda like the original halting cryptid candidate - we can rewrite it like this:
a_0 = 2 and a_(i+1) = HydraMap(a_i)
b_0 = 0 and b_(i+1) = b_i+(1 if a_i is odd otherwise 2)
c_0 = 0 and c_(i+1) = 3a_j-4 where j is such that b_j = c_i

a: 2, 3, 4, 6, 9, 13, 19, 28, 42, 63, 94, 141, ...
b: 0, 2, 3, 5, 7, 8, 9, 10, 12, 14, 15, 17, ...
c: 0, 2, 5, 14, 185, 22205951667644132025548, ...
</pre>

==Python Code by N1vi==
<syntaxhighlight lang="python" line="1">
import time
import sys

sys.set_int_max_str_digits(1000000)

p=[4,7] #seq, replace with [2,0] for 1RB0RE_1LC1LD_0RA0LD_1LB0LA_1RF1RA_---1LB
s=-1 #step, do not change

while p[1]>=0:
s+=1
#print(p) #uncomment to allow printing
#time.sleep(0.1) #uncomment to add time between printing
if p[1]==0:
p=[2,p[0]*3-4]
elif p[0]%2:
p[0]=p[0]//2*3+1
p[1]-=1
else:
p[0]=p[0]//2*3
p[1]-=2

#print(f'10^{len(str(p[0]))}') #approx
print(p[0]) #exact
</syntaxhighlight>

[[Category:BB(6)]][[Category:Cryptids]]

1RB0RE 1LC1LD 0RA0LD 1LB0LA 1RF1RA ---1LB

2025-10-12T17:22:24Z

N1vi:

{{machine|1RB0RE_1LC1LD_0RA0LD_1LB0LA_1RF1RA_---1LB}}{{unsolved|Does this TM halt? If so, how many steps does it take to halt?}}
{{TM|1RB0RE_1LC1LD_0RA0LD_1LB0LA_1RF1RA_---1LB}} is a [[probviously]] halting tetrational [[BB(6)]] [[Cryptid]] found by Racheline on 30 July 2024 ([https://discord.com/channels/960643023006490684/1239205785913790465/1267752546546487357 Discord link]).

==Analysis by Racheline==
<pre>
1RB0RE_1LC1LD_0RA0LD_1LB0LA_1RF1RA_---1LB
A(n,m) = 0^inf (01)^(3n-4) A> (01)^m 0^inf

A(2n,m) -> A(3n,m-2)
A(2n+1,m) -> A(3n+1,m-1)
A(n,0) -> A(2,3n-4)
A(n,-1) -> halt
start from A(2,0)

it's kinda like the original halting cryptid candidate - we can rewrite it like this:
a_0 = 2 and a_(i+1) = HydraMap(a_i)
b_0 = 0 and b_(i+1) = b_i+(1 if a_i is odd otherwise 2)
c_0 = 0 and c_(i+1) = 3a_j-4 where j is such that b_j = c_i

a: 2, 3, 4, 6, 9, 13, 19, 28, 42, 63, 94, 141, ...
b: 0, 2, 3, 5, 7, 8, 9, 10, 12, 14, 15, 17, ...
c: 0, 2, 5, 14, 185, 22205951667644132025548, ...
</pre>

==Python Code by N1vi==
<pre>
import time
import sys

sys.set_int_max_str_digits(1000000)

p=[4,7] #seq, replace with [2,0] for 1RB0RE_1LC1LD_0RA0LD_1LB0LA_1RF1RA_---1LB
s=-1 #step, do not change

while p[1]>=0:
s+=1
#print(p) #uncomment to allow printing
#time.sleep(0.1) #uncomment to add time between printing
if p[1]==0:
p=[2,p[0]*3-4]
elif p[0]%2:
p[0]=p[0]//2*3+1
p[1]-=1
else:
p[0]=p[0]//2*3
p[1]-=2

#print(f'10^{len(str(p[0]))}') #approx
print(p[0]) #exact
</pre>

[[Category:BB(6)]][[Category:Cryptids]]

1RB0RE 1LC1LD 0RA0LD 1LB0LA 1RF1RA ---1LB

2025-10-12T17:22:01Z

N1vi:

{{machine|1RB0RE_1LC1LD_0RA0LD_1LB0LA_1RF1RA_---1LB}}{{unsolved|Does this TM halt? If so, how many steps does it take to halt?}}
{{TM|1RB0RE_1LC1LD_0RA0LD_1LB0LA_1RF1RA_---1LB}} is a [[probviously]] halting tetrational [[BB(6)]] [[Cryptid]] found by Racheline on 30 July 2024 ([https://discord.com/channels/960643023006490684/1239205785913790465/1267752546546487357 Discord link]).

==Analysis by Racheline==
<pre>
1RB0RE_1LC1LD_0RA0LD_1LB0LA_1RF1RA_---1LB
A(n,m) = 0^inf (01)^(3n-4) A> (01)^m 0^inf

A(2n,m) -> A(3n,m-2)
A(2n+1,m) -> A(3n+1,m-1)
A(n,0) -> A(2,3n-4)
A(n,-1) -> halt
start from A(2,0)

it's kinda like the original halting cryptid candidate - we can rewrite it like this:
a_0 = 2 and a_(i+1) = HydraMap(a_i)
b_0 = 0 and b_(i+1) = b_i+(1 if a_i is odd otherwise 2)
c_0 = 0 and c_(i+1) = 3a_j-4 where j is such that b_j = c_i

a: 2, 3, 4, 6, 9, 13, 19, 28, 42, 63, 94, 141, ...
b: 0, 2, 3, 5, 7, 8, 9, 10, 12, 14, 15, 17, ...
c: 0, 2, 5, 14, 185, 22205951667644132025548, ...
</pre>

==Code by N1vi==
<pre>
import time
import sys

sys.set_int_max_str_digits(1000000)

p=[4,7] #seq, replace with [2,0] for 1RB0RE_1LC1LD_0RA0LD_1LB0LA_1RF1RA_---1LB
s=-1 #step, do not change

while p[1]>=0:
s+=1
#print(p) #uncomment to allow printing
#time.sleep(0.1) #uncomment to add time between printing
if p[1]==0:
p=[2,p[0]*3-4]
elif p[0]%2:
p[0]=p[0]//2*3+1
p[1]-=1
else:
p[0]=p[0]//2*3
p[1]-=2

#print(f'10^{len(str(p[0]))}') #approx
print(p[0]) #exact
</pre>

[[Category:BB(6)]][[Category:Cryptids]]

1RB--- 0RC1RD 1LA0LA 1LE0RB 1LF1LE 1LC0LD

2025-08-05T14:33:11Z

N1vi: Created page with "{{machine|1RB---_0RC1RD_1LA0LA_1LE0RB_1LF1LE_1LC0LD}} 1D — CA, rule 30 or rule 110"

{{machine|1RB---_0RC1RD_1LA0LA_1LE0RB_1LF1LE_1LC0LD}}

1D — CA, rule 30 or rule 110

1RB1LE 1LC0RA 0RF0LD 1LE1LA 1RC0LB ---1RC

2025-08-05T14:06:48Z

N1vi: Created page with "thumb It is really interesting. I high likely doubt it halts, but it creates pseudo random spaces at the right. I ran it for ~860 million steps and the result is shown at the image. Though it might be a fractal."

[[File:860image.png|thumb]]
It is really interesting. I high likely doubt it halts, but it creates pseudo random spaces at the right. I ran it for ~860 million steps and the result is shown at the image.
Though it might be a fractal.

File:860image.png

2025-08-05T14:06:10Z

N1vi:

Chaotic behavior, might be fractal