User contributions for Sligocki

13 July 2024

• 02:5802:58, 13 July 2024 diff hist +3,079 N Champions Created page with "Busy Beaver '''Champions''' are the current record holding Turing machines who maximize a Busy Beaver function. In this article we focus specifically on the longest running TMs. Some have been proven to be the longest running of all (and so are the ultimate champion) while others are only current champions and may be usurped in the future. For smaller domains, Pascal Michel's website is the canonical source for [https://bbchallenge.org/~pascal.mich..." Tag: Visual edit
• 02:0002:00, 13 July 2024 diff hist +34 Main Page searching for champion Tag: Visual edit

12 July 2024

• 19:1719:17, 12 July 2024 diff hist +167 Holdouts lists Newest BB6 Holdouts. Tag: Visual edit
• 19:1619:16, 12 July 2024 diff hist 0 N File:BB6 holdouts 7296.txt No edit summary current
• 19:1419:14, 12 July 2024 diff hist +233 BB(6) Cryptids and Holdouts Tag: Visual edit
• 19:0919:09, 12 July 2024 diff hist −18 1RB1RE 1LC0RA 0RD1LB ---1RC 1LF1RE 0LB0LE Add TM Template
• 19:0019:00, 12 July 2024 diff hist −18 1RB0LD 1RC0RF 1LC1LA 0LE1RZ 1LF0RB 0RC0RE Add TM Template Tag: Visual edit: Switched
• 18:5918:59, 12 July 2024 diff hist +2,532 N BB(6) Created page with "The 6-state, 2-symbol Busy Beaver problem '''BB(6)''' is unsolved. With the discovery of Antihydra in 2024, we now know that we must solve a Collatz-like problem in order to solve BB(6). The current BB(6) champion {{TM|1RB0LD_1RC0RF_1LC1LA_0LE1RZ_1LF0RB_0RC0RE}} was discovered by Pavel Kropitz in 2022 proving the lower bound:<ref>Shawn Ligocki. 2022. "BB(6, 2) > 10↑↑15". https://www.sligocki.com/2022/06/21/bb-6-2-t15.html</ref> <math display="block">S(6) >..." Tag: Visual edit
• 04:2104:21, 12 July 2024 diff hist +75 BB(5) →Champions Tag: Visual edit
• 04:2004:20, 12 July 2024 diff hist +83 BB(4) →Champions Tag: Visual edit
• 04:1904:19, 12 July 2024 diff hist +126 BB(2) →Champions: Note ones/steps Tag: Visual edit
• 04:1704:17, 12 July 2024 diff hist +210 BB(3) →Champions: Note no shared champions Tag: Visual edit
• 04:1304:13, 12 July 2024 diff hist +26 m BB(2) Add TM Template Tag: Visual edit: Switched
• 04:0904:09, 12 July 2024 diff hist +1,578 BB(5) Add Champions and Top halters. Tag: Visual edit: Switched
• 03:5703:57, 12 July 2024 diff hist −18 m 1RB0RE 0RC--- 1LD1LE 1LE1LD 1RF0LC 1RA1RF Add TM Template
• 03:5403:54, 12 July 2024 diff hist −2 BB(4) →Enumeration Tag: Visual edit
• 03:5403:54, 12 July 2024 diff hist −17 m BB(4) →Enumeration Tag: Visual edit
• 03:5303:53, 12 July 2024 diff hist +1,275 BB(4) Add champions and enumeration info Tag: Visual edit
• 03:4303:43, 12 July 2024 diff hist +1,021 BB(3) Add some longest running halters Tag: Visual edit
• 03:3403:34, 12 July 2024 diff hist +39 BB(3) partial recurrence Tag: Visual edit
• 03:3103:31, 12 July 2024 diff hist 0 m Template:TM No edit summary
• 03:2703:27, 12 July 2024 diff hist +1,340 N BB(3) Created page with "The 3-state 2-symbol Busy Beaver problem '''BB(3)''' was proven by Shen Lin in his 1963 doctoral dissertation<ref>Shen Lin. 1963. Computer studies of Turing machine problems. PhD dissertation. Ohio State University. https://etd.ohiolink.edu/acprod/odb_etd/etd/r/1501/10?clear=10&p10_accession_num=osu1486554418657614</ref> and republished in 1965.<ref>Lin, Shen; Radó, Tibor (April 1965). "Computer Studies of Turing Machine Problems". ''Journal of the ACM''. '''12''' (2):..." Tag: Visual edit: Switched
• 02:5902:59, 12 July 2024 diff hist +151 N Template:Documentation Created page with "{{#invoke:documentation|main|_content={{ {{#invoke:documentation|contentTitle}}}}}}<noinclude> <!-- Add categories to the /doc subpage --> </noinclude>" current
• 02:5902:59, 12 July 2024 diff hist +42 Template:TM Start trying to add documentation for the template
• 02:5302:53, 12 July 2024 diff hist +30 1RB2LC1RC 2LC---2RB 2LA0LB0RA Add TM Template Tag: Visual edit: Switched
• 02:4602:46, 12 July 2024 diff hist −6 m Turing machine →Standard text format: Add TM Template
• 02:4502:45, 12 July 2024 diff hist −3 m Permutation Add TM Template Tag: Visual edit: Switched
• 02:4402:44, 12 July 2024 diff hist −30 Adjacent Add TM Template Tag: Visual edit: Switched
• 02:4202:42, 12 July 2024 diff hist +34 Skelet 17 No edit summary Tag: Visual edit
• 02:4002:40, 12 July 2024 diff hist −16 m Skelet 17 Add TM Template Tag: Visual edit: Switched
• 02:3202:32, 12 July 2024 diff hist +2 m Template:TM No edit summary
• 02:3102:31, 12 July 2024 diff hist +37 Template:TM Link to TM if it exists on wiki
• 02:2502:25, 12 July 2024 diff hist +18 m 5-state busy beaver winner Add References section header Tag: Visual edit
• 02:2402:24, 12 July 2024 diff hist −90 m 5-state busy beaver winner Use TM template Tag: Visual edit: Switched
• 02:1802:18, 12 July 2024 diff hist +2,350 N Green's machines List of Milton Green's Machines Tag: Visual edit: Switched
• 02:0002:00, 12 July 2024 diff hist +4 m Template:TM No edit summary
• 01:5901:59, 12 July 2024 diff hist +50 N Template:TM Create TM convenience Template that automatically (1) links to bbchallenge URL and (2) puts text in <code> block.

11 July 2024

• 15:0715:07, 11 July 2024 diff hist +6 Antihydra Add simulator to section Tag: Visual edit
• 14:2214:22, 11 July 2024 diff hist +826 N 1RB0RE 0RC--- 1LD1LE 1LE1LD 1RF0LC 1RA1RF Created page with "{{machine|1RB0RE_0RC---_1LD1LE_1LE1LD_1RF0LC_1RA1RF}} https://bbchallenge.org/1RB0RE_0RC---_1LD1LE_1LE1LD_1RF0LC_1RA1RF mxdys — 11 Jul 2024 at 7:10 AM ET <pre> 1RB0RE_0RC---_1LD1LE_1LE1LD_1RF0LC_1RA1RF (chaotic 1dCA in bell) (...0 a1 a2 ... an > b1 b2 ... bm 0...) := (0^inf 0 1^a1 0 1^a2 ... 0 1^an E> 1^b1 0 1^b2 0 ... 1^bm 0 0^inf) (...0 a1 a2 ... an < b1 b2 ... bm 0...) := (0^inf 0 1^a1 0 1^a2 ... 0 1^an <E 1^b1 0 1^b2 0 ... 1^bm 0 0^inf) start from: ...0 1..."
• 04:3704:37, 11 July 2024 diff hist +148 Permutation Note tool Tag: Visual edit
• 04:3604:36, 11 July 2024 diff hist +2,062 N Adjacent Created page with "Two Turing machines are '''adjacent''' if you can get from one to the other by modifying only one transition and (optionally) applying a permutation. Adjacent TMs are useful to think about at times because they can have similar behavior or follow similar rules. This is definitely not true for all adjacent TMs, but it is in some cases. == Examples == A good example of adjacent TMs are the 5 BB(5) shift overflow counters from Skelet's 43 holdouts:<ref>Shaw..." Tag: Visual edit
• 04:0504:05, 11 July 2024 diff hist +794 Busy Beaver Functions Add Ben-Amram and space function Tag: Visual edit

10 July 2024

• 21:2821:28, 10 July 2024 diff hist +1,324 N Permutation Created page with "Turing machine A is a '''permutation''' of Turing machine B if they are isomorphic up to permuting (renaming) states, symbols (aside from the blank symbol) and directions. If the start state is not affected by the permutation, then the two TMs are functionally identical and are represented by a single TM in TNF. If the start state is changed, then TM A is functionally identical to TM B started in a different start state. Therefore we can say that an n-state TM has ef..." Tag: Visual edit
• 20:1120:11, 10 July 2024 diff hist −56 Cryptids →Beeping Busy Beaver: link Mother Tag: Visual edit
• 20:1020:10, 10 July 2024 diff hist +522 N Mother of Giants Created page with "The '''Mother of Giants''' is a collection of adjacent Turing machines, some of which are Cryptids in the 5-state Beeping Busy Beaver problem that probviously quasihalt. They must all be proven to halt or not if we want to solve BBB(5). The TMs are all the "children" of <code>1RB1LE_0LC0LB_0LD1LC_1RD1RA_---0LA</code> where children means all the TMs created by filling in the undefined <code>E0</code> transition. See https://www.sligocki.co..." Tag: Visual edit
• 19:5719:57, 10 July 2024 diff hist +23 N Probviously Redirected page to Probvious current Tags: New redirect Visual edit
• 19:5719:57, 10 July 2024 diff hist +1,194 N Probvious Probvious Tag: Visual edit: Switched
• 19:2319:23, 10 July 2024 diff hist +8 Beeping Busy Beaver link Tag: Visual edit
• 19:2119:21, 10 July 2024 diff hist +109 Beeping Busy Beaver No edit summary Tag: Visual edit
• 19:2019:20, 10 July 2024 diff hist +904 Beeping Busy Beaver Add some details Tag: Visual edit