User contributions for Sligocki

12 July 2024

• 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
• 17:0817:08, 10 July 2024 diff hist +97‎ BB(4) ‎No edit summary Tag: Visual edit
• 04:5904:59, 10 July 2024 diff hist +30‎ N TNF enumeration ‎ Redirected page to Tree Normal Form current Tags: New redirect Visual edit
• 04:5204:52, 10 July 2024 diff hist +38‎ N TNF-1RB ‎ Redirected page to Tree Normal Form#TNF-1RB current Tags: New redirect Visual edit
• 04:5204:52, 10 July 2024 diff hist −28‎ BB(2) ‎No edit summary Tag: Visual edit
• 04:5104:51, 10 July 2024 diff hist +30‎ N TNF ‎ Redirected page to Tree Normal Form current Tags: New redirect Visual edit
• 04:5004:50, 10 July 2024 diff hist +325‎ Tree Normal Form ‎ Add table of TNF sizes. Tag: Visual edit
• 04:3604:36, 10 July 2024 diff hist +4,075‎ N Tree Normal Form ‎ TNF Tag: Visual edit
• 03:2203:22, 10 July 2024 diff hist +1,490‎ N BB(2) ‎ BB(2) Tag: Visual edit: Switched
• 03:0303:03, 10 July 2024 diff hist +287‎ 5-state busy beaver winner ‎ Add Michel version of formula (which I think is much simpler). Tag: Visual edit

8 July 2024

• 20:5120:51, 8 July 2024 diff hist +50‎ 1RB2LC1RC 2LC---2RB 2LA0LB0RA ‎ Add start config. Tag: Visual edit
• 04:2104:21, 8 July 2024 diff hist +713‎ N 1RB1RA 1LC0RE 0LF1LD 1LA1LC 1RA1RB ---0LD ‎ unbiased random walk

6 July 2024

• 13:2713:27, 6 July 2024 diff hist +25‎ Antihydra ‎No edit summary Tags: Reverted Visual edit: Switched

3 July 2024

• 01:1301:13, 3 July 2024 diff hist +74‎ Cryptids ‎ →‎Larger Cryptids: Note 24 BB9 Hydra cryptids. Tag: Visual edit
• 01:0701:07, 3 July 2024 diff hist +448‎ Cryptids ‎ Split table of cryptids (at the edge vs larger) Tag: Visual edit: Switched

26 June 2024

• 20:1720:17, 26 June 2024 diff hist +18‎ 1RB1RE 1LC0RA 0RD1LB ---1RC 1LF1RE 0LB0LE ‎ Fix config and add starting config. Tag: Visual edit
• 17:5517:55, 26 June 2024 diff hist +4,945‎ N 1RB1RE 1LC0RA 0RD1LB ---1RC 1LF1RE 0LB0LE ‎ Created page with "{{machine|1RB1RE_1LC0RA_0RD1LB_---1RC_1LF1RE_0LB0LE}} https://bbchallenge.org/1RB1RE_1LC0RA_0RD1LB_---1RC_1LF1RE_0LB0LE A BB(6) TM which is modeled by <pre> (a, c) -> (a-c-1, 4c+5) if a > c (a, c) -> (2a+2, c-a-1) if a < c (a, c) -> Halt if a = c </pre> for <code>(a, c) = 0^inf 10^a 0 1^c E> 0^inf</code>. It has seems like it could be a Cryptid since it seems hard to predict whether we could ever end up in <code>(n, n)</code>, but investigations are ongoing o..."

24 June 2024

• 04:3504:35, 24 June 2024 diff hist 0‎ N User talk:Sligocki ‎ Created blank page current
• 04:3404:34, 24 June 2024 diff hist +22‎ Inductive Proof System ‎No edit summary Tag: Visual edit
• 03:4903:49, 24 June 2024 diff hist +143‎ 1RB2LC1RC 2LC---2RB 2LA0LB0RA ‎ Note permutation Tag: Visual edit
• 03:4403:44, 24 June 2024 diff hist +22‎ N Cryptid ‎ Redirected page to Cryptids current Tags: New redirect Visual edit
• 03:4303:43, 24 June 2024 diff hist +30‎ 1RB2LC1RC 2LC---2RB 2LA0LB0RA ‎ dyuan's rules Tag: Visual edit
• 03:4203:42, 24 June 2024 diff hist +1,724‎ 1RB2LC1RC 2LC---2RB 2LA0LB0RA ‎ savask's rules
• 03:3803:38, 24 June 2024 diff hist +1,629‎ 1RB2LC1RC 2LC---2RB 2LA0LB0RA ‎ →‎Shawn's Rules Tag: Visual edit: Switched
• 03:3003:30, 24 June 2024 diff hist +1,531‎ N 1RB2LC1RC 2LC---2RB 2LA0LB0RA ‎ Start discussion

21 June 2024

• 04:4404:44, 21 June 2024 diff hist +64‎ Closed Set ‎No edit summary Tag: Visual edit
• 04:4104:41, 21 June 2024 diff hist +1,107‎ Closed Set ‎No edit summary Tag: Visual edit: Switched
• 04:1804:18, 21 June 2024 diff hist +1,667‎ N Closed Set ‎ Create page on general Closed Set methods Tag: Visual edit: Switched

20 June 2024

• 19:2519:25, 20 June 2024 diff hist +324‎ N 1RB0LD 1RC0RF 1LC1LA 0LE1RZ 1LF0RB 0RC0RE ‎ Created page with "{{machine|1RB0LD_1RC0RF_1LC1LA_0LE1RZ_1LF0RB_0RC0RE}} https://bbchallenge.org/1RB0LD_1RC0RF_1LC1LA_0LE1RZ_1LF0RB_0RC0RE Current BB(6) Champion. Discovered by Pavel Kropitz on 30 May 2022. This TM runs for over 10↑↑15 steps. See analysis: [https://www.sligocki.com/2022/06/21/bb-6-2-t15.html BB(6, 2) > 10↑↑15]."