0RB1LD 1LC1RB 1LD1RE 1LA1LE 1LZ0RC: Difference between revisions
Jump to navigation
Jump to search
(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^{...") |
(Fix halting tape) |
||
| Line 3: | Line 3: | ||
{{TM|0RB1LD_1LC1RB_1LD1RE_1LA1LE_1LZ0RC}} is the [[Busy Beaver Functions|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 | {{TM|0RB1LD_1LC1RB_1LD1RE_1LA1LE_1LZ0RC}} is the [[Busy Beaver Functions|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> | <math display="block">0^\infty <Z \; 1^{165} \; 0^\infty</math> | ||
== Analysis by Shawn Ligocki == | == Analysis by Shawn Ligocki == | ||
Revision as of 00:21, 9 February 2025
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)