New pages

15:1615:16, 28 September 2026 Placid Platypus (hist | edit) [2,782 bytes] Loader3229 (talk | contribs) (Created page with "The '''Placid Platypus''' function <math>PP(n)</math> <ref>James Harland. [https://dl.acm.org/doi/pdf/10.5555/1151785.1151794 The Busy Beaver, the Placid Platypus and other Crazy Creatures]. 2006.</ref> is the minimal number of states of 2-symbol Turing machines that print exactly n ones when halt. <math> PP(n) \leq n </math>, because you can print each 1 in a state. Also if <math> n > \Sigma(m)</math>, then <math> PP(n) > m </math>. == References == <references /> ...")

17:1017:10, 3 September 2026 1RB0RF 1RC1RF 1LD0LE ---1LC 1RA1LE 1LC1RB (hist | edit) [545 bytes] A6P457 (talk | contribs) (Created page with "{{machine|1RB0RF_1RC1RF_1LD0LE_---1LC_1RA1LE_1LC1RB}} {{TM|1RB0RF_1RC1RF_1LD0LE_---1LC_1RA1LE_1LC1RB}} is a probviously non-halting cryptid similar to Space Needle. == Analysis == <pre>A(x,y) = 0^inf <E 1^x 0 1^y 0^inf A(2x,y) -> A(3x+y+1,2) A(2x+3,y) -> A(x,x+y+4) A(1,y) -> halt A(x) = A(x-3,2) p(x) = The largest n such that 2^n divides x A(x) -> A(x+p(x)+(x/2^p(x)+3)/2) if x/2^p(x)>1 A(2^x) -> halt A(3) -> A(6) -> A(10) -> A(15) -> A(24) -> A(30) -> A(40) -> A(...")

13:1813:18, 18 August 2026 1RB1RF 1RC1RA 1LD1LF 0RB0RE ---1LC ---0LC (hist | edit) [455 bytes] A6P457 (talk | contribs) (Created page with "{{machine|1RB1RF_1RC1RA_1LD1LF_0RB0RE_---1LC_---0LC}} 1RB1RF_1RC1RA_1LD1LF_0RB0RE_---1LC_---0LC is the current BBu(6) champion halting after 16088 steps == Analysis == <pre> A(x) = 0^inf <C 1^x 0^inf A(3x) -> A(4x+3) A(3x+1) -> halt A(3x+2) -> A(4x+5) A(2) -> A(5) -> A(9) -> A(15) -> A(23) -> A(33) -> A(47) -> A(65) -> A(89) -> A(121) -> halt If B(x) = A(2x+1), it's trajectory is equivalent to the BBf(20) champion Category:BB(6)")
07:3907:39, 18 August 2026 Uniform-action Turing Machine (hist | edit) [738 bytes] Azerty (talk | contribs) (Created page) Tag: Visual edit

11:0111:01, 3 August 2026 TMBR: August 2026 (hist | edit) [30,768 bytes] Polygon (talk | contribs) (Created page with "{{TMBRnav|July 2026|September 2026}} ''This edition of TMBR is in progress and has not yet been released. Please add any notes you think may be relevant (including in the form a of a TODO with a link to any relevant Discord discussion).'' == Holdouts == * BB(6): ** prurq [https://discord.com/channels/960643023006490684/1239205785913790465/1533572940459675791 found a machine to halt] after <math>6.00\times 10^{1\,542}</math> steps. Category:This Month in Beaver R...")

16:3816:38, 21 July 2026 Post Tag System (hist | edit) [3,735 bytes] Azerty (talk | contribs) (Created page) Tag: Visual edit
16:1016:10, 21 July 2026 1RB1RF 0LC0RF 1RD1LC ---0LE 0RC1LF 1RA0LE (hist | edit) [1,153 bytes] A6P457 (talk | contribs) (Created page with "{{machine|1RB1RF_0LC0RF_1RD1LC_---0LE_0RC1LF_1RA0LE}} {{TM|1RB1RF_0LC0RF_1RD1LC_---0LE_0RC1LF_1RA0LE}} is a BB(6) potential cryptid similar to BMO 1 == Analysis == <pre> A(x,y,z) = 1^x 0 1^y F> 1^z A(x,2y,z) -> A(x+4,2y-2,z-2) if y>0 and z>1 A(x,0,z) -> A(0,x+4,z-3) if z>2 A(x,0,1) -> halt A(x,0,2) -> A(0,x+2,0) A(2x,y,0) -> A(0,2x+4,y) A(2x+1,y,0) -> A(4,2x,y) if x>0 A(1,y,0) -> A(4,0,y+1) A(x,2y,1) -> A(x+4,2y-4,0) if y>1 A(x,2,1) -> A(0,4,x+2) A(x,2y+1,1)...")

Navigation menu