0RB1LD_1LC1RB_1LD1RE_1LA1LE_1LZ0RC

From BusyBeaverWiki
Revision as of 00:20, 9 February 2025 by Sligocki (talk | contribs) (Created page with "{{machine|0RB1LD_1LC1RB_1LD1RE_1LA1LE_1LZ0RC}} {{TM|0RB1LD_1LC1RB_1LD1RE_1LA1LE_1LZ0RC}} is the num(5) champion (the BB(5) TM which halts leaving the most consecutive ones on the tape) according to Andrés Sancho. It halts after 15590 steps with tape <math>0^\infty <Z 1^{165} 0^\infty</math> == Analysis by Shawn Ligocki == <pre> A(a, b) = $ 1^a <A 11^b $ A(a+3, b) -> A(a, b+2) A(0, b) -> A(2b, 1) A(1, b) -> A(0, b+1) A(2, b) -> $ <Z 1^{...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search


0RB1LD_1LC1RB_1LD1RE_1LA1LE_1LZ0RC (bbch) is the num(5) champion (the BB(5) TM which halts leaving the most consecutive ones on the tape) according to Andrés Sancho. It halts after 15590 steps with tape

Analysis by Shawn Ligocki

A(a, b) = $ 1^a <A 11^b $

A(a+3, b) -> A(a, b+2)
A(0, b) -> A(2b, 1)
A(1, b) -> A(0, b+1)
A(2, b) -> $ <Z 1^{2b+3} $

A(3k,   1) -> A(4k+2, 1)
A(3k+1, 1) -> A(4k+4, 1)
A(3k+2, 1) -> $ <Z 1^{4k+5} $

@13: A(3, 1)

Trajectory of "a" values starting from A(3, 1):
3 6 10 16 24 34 48 66 90 122 Halt(165)