New pages
Jump to navigation
Jump to search
31 August 2026
- 14:2714:27, 31 August 2026 Cyclic Tree Rewriting System (hist | edit) [9,497 bytes] Azerty (talk | contribs) (Renamed the page and removed unecessary spacings.) Tag: Visual edit
- 14:1514:15, 31 August 2026 Post Tag (hist | edit) [29 bytes] Azerty (talk | contribs) (Added redirect) Tags: New redirect Visual edit
30 August 2026
- 09:1209:12, 30 August 2026 MBB (hist | edit) [28 bytes] A6P457 (talk | contribs) (Redirected page to Minsky machine) Tag: New redirect
22 August 2026
- 09:3009:30, 22 August 2026 Enumerator (hist | edit) [25 bytes] Azerty (talk | contribs) (redirect) Tags: New redirect Visual edit
20 August 2026
- 20:0420:04, 20 August 2026 Semi Infinite Tape Turing Machine (hist | edit) [899 bytes] Azerty (talk | contribs) (Created page and added current champions.) Tag: Visual edit
19 August 2026
- 08:3608:36, 19 August 2026 BBrev (hist | edit) [39 bytes] A6P457 (talk | contribs) (Redirected page to Reversible Turing Machine) Tag: New redirect
18 August 2026
- 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)")
- 12:5412:54, 18 August 2026 BBu (hist | edit) [43 bytes] A6P457 (talk | contribs) (Redirected page to Uniform-action Turing Machine) Tag: New redirect
- 07:3907:39, 18 August 2026 Uniform-action Turing Machine (hist | edit) [738 bytes] Azerty (talk | contribs) (Created page) Tag: Visual edit
17 August 2026
- 15:0015:00, 17 August 2026 Enumeration (hist | edit) [1,569 bytes] Azerty (talk | contribs) (Created page) Tag: Visual edit
14 August 2026
- 16:0516:05, 14 August 2026 BBdio (hist | edit) [34 bytes] Sligocki (talk | contribs) (Redirected page to Diophantine Equation) Tags: New redirect Visual edit
11 August 2026
- 15:5615:56, 11 August 2026 Wang Tiles (hist | edit) [3,172 bytes] Azerty (talk | contribs) (Created page) Tag: Visual edit
- 07:5107:51, 11 August 2026 Pebble Automaton (hist | edit) [3,945 bytes] Azerty (talk | contribs) (Created page) Tag: Visual edit
3 August 2026
- 11:0111:01, 3 August 2026 TMBR: August 2026 (hist | edit) [1,508 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...")
21 July 2026
- 16:4016:40, 21 July 2026 Tag System (hist | edit) [29 bytes] Azerty (talk | contribs) (Added redirect) Tag: Visual edit
- 16:3816:38, 21 July 2026 Post Tag System (hist | edit) [3,500 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)...")
9 July 2026
- 15:5615:56, 9 July 2026 1RB2RB1LA 2LC0LB2LB 2RC2RA0LC (hist | edit) [596 bytes] A6P457 (talk | contribs) (Created page with "{{machine|1RB2RB1LA_2LC0LB2LB_2RC2RA0LC}} {{TM|1RB2RB1LA_2LC0LB2LB_2RC2RA0LC}} is the current BLB(3,3) champion blanking the tape after <math>10^{42745}</math> steps == Analysis == <pre> A(x,y)=2 C> 2^x 0 1^y A(x,y) -> A(2x+5,y-3) if y>2 A(x,0) -> blank A(x,1) -> A(8,2x+1) A(x,2) -> blank A(8,4) -> A(21,1) -> A(8,43) -> A(21,40) -> A(47,37) -> A(99,34) -> A(203,31) -> A(411,28) -> A(827,25) -> A(1659,22) -> A(3323,19) -> A(6651,16) -> A(13307,13) -> A(26619,10) ->...")
6 July 2026
- 19:0919:09, 6 July 2026 1RB2RA1RA2RB 2LB3LA0RB0RA (hist | edit) [626 bytes] A6P457 (talk | contribs) (Created page with "{{TM|1RB2RA1RA2RB_2LB3LA0RB0RA}} is the current BLB(2,4) champion blanking the tape after 1,367,361,263,049 steps == Analysis == <pre> A(x,y,z)=1^x 0 1^y B< 2^z A(x,2y,z)->A(0,x,5y+z+1) if x>0 A(0,2y,z)->blank A(x,2y+1,z)->A(x+1,5y+z+1,1) A(1,0,0)->A(0,1,1)->A(1,2,1)->A(0,1,7)->A(1,8,1)->A(0,1,22)->A(1,23,1)->A(2,57,1)->A(3,142,1)->A(0,3,357)->A(1,363,1)->A(2,907,1)->A(3,2267,1)->A(4,5667,1)->A(5,14167,1)->A(6,35417,1)->A(7,88542,1)->A(0,7,221357)->A(1,221373,1)->A...")
2 July 2026
- 15:0115:01, 2 July 2026 TMBR: July 2026 (hist | edit) [2,899 bytes] Polygon (talk | contribs) (Created page with "{{TMBRnav|June 2026|August 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(4,3): ** Andrew Ducharme reduced the number of holdouts from 4,784,443 to '''4,776,646''', a '''0.16%''' reduction.<sup>[https://discord.com/channels/960643023006490684/1084047886494470185/1522168741922607164]</su...")
21 June 2026
- 05:0605:06, 21 June 2026 Number of Halting TMs (hist | edit) [2,862 bytes] Sligocki (talk | contribs) (Created page with "The '''Number of Halting TMs''' for a given domain (<math>N_e(n,m)</math>) is an uncomputable Busy Beaver Function first defined by Tibor Radó in his 1962 paper.<ref>Tibor Radó (May 1962). "[https://computation4cognitivescientists.weebly.com/uploads/6/2/8/3/6283774/rado-on_non-computable_functions.pdf On non-computable functions]" (PDF). ''Bell System Technical Journal''. '''41''' (3): 877–884. https://doi.org/10.1002%2Fj.1538-7305.1962.tb00480.x</ref> It counts...") Tag: Visual edit
20 June 2026
- 11:0611:06, 20 June 2026 BBCS (hist | edit) [27 bytes] Polygon (talk | contribs) (Redirected page to CounterScript) Tag: New redirect
14 June 2026
- 22:4122:41, 14 June 2026 BrB (hist | edit) [30 bytes] Sligocki (talk | contribs) (Redirected page to Branching Beaver) Tag: New redirect
- 10:0810:08, 14 June 2026 Cellular automaton (hist | edit) [3,399 bytes] Azerty (talk | contribs) (Created article) Tag: Visual edit
- 06:2406:24, 14 June 2026 Standard Text Format (hist | edit) [49 bytes] Sligocki (talk | contribs) (Redirected page to Turing machine#Standard text format) Tag: New redirect
- 06:2406:24, 14 June 2026 Busy Beaver Function (hist | edit) [35 bytes] Sligocki (talk | contribs) (Redirected page to Busy Beaver Functions) Tag: New redirect
- 06:2306:23, 14 June 2026 Branching Beaver (hist | edit) [2,837 bytes] Sligocki (talk | contribs) (Created page with "The '''Branching Beaver''' ('''BrB'''(n,m)) is a Busy Beaver Function for '''Trivalent Turing Machines''' ('''TTM'''). A Trivalent Turing Machine is a Turing machine with the tape replaced by a 3-regular wikipedia:Bethe lattice. This is a graph where every node has exactly 3 neighbors. Like with traditional TM tapes, this branching tape is infinite and has no cycles. It can be thought of as an infinite binary tree with no root node (every node has 2 childre...")
9 June 2026
- 18:3818:38, 9 June 2026 Oracle (hist | edit) [657 bytes] Azerty (talk | contribs) (Created the page) Tag: Visual edit
5 June 2026
- 10:4510:45, 5 June 2026 TMBR: June 2026 (hist | edit) [8,992 bytes] Polygon (talk | contribs) (Created page with "{{TMBRnav|May 2026|July 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(2,6) **Andrew Ducharme reduced the number of holdouts from 413,513 to '''412,086''', a '''0.35%''' reduction.<sup>[https://discord.com/channels/960643023006490684/1084047886494470185/1512386039933698128]</sup> *BB(2...")