1RB1RA_1LC0RE_0LF1LD_1LA1LC_1RA1RB_---0LD

From BusyBeaverWiki
Revision as of 01:54, 18 July 2024 by Sligocki (talk | contribs) (Add TM Template)
Jump to navigation Jump to search

1RB1RA_1LC0RE_0LF1LD_1LA1LC_1RA1RB_---0LD (bbch)

Analysis by Shawn Ligocki:

B(a, b) = $ 101^a 10^b <C 1^3 $

B(0,   3b)    ->  Halt(8b+4)
B(a+1, 3b)    ->  B(a,   4b+5)
B(a,   3b+1)  ->  B(a+1, 4b+2)
B(a,   3b+2)  ->  B(a,   8b+10)

Start  --(13)-->  B(0, 2)

This performs an unbiased pseudo-random walk. Unbiased random walks have 100% chance to return to 0. This TM eventually does, but only after 34,821 iterations (reaching ).

Code/Quick_Sim.py 1RB1RA_1LC0RE_0LF1LD_1LA1LC_1RA1RB_---0LD -n6 --print-loops=100_000
...
Steps:    ~10^15_713.71342
Nonzeros: ~10^7_857.11327