User contributions for Mxdys

17 June 2025

• 13:1613:16, 17 June 2025 diff hist +192‎ m 1RB1LC 1LA1RE 0RD0LA 1RZ1LB 1LD0RF 0RD1RB ‎ →‎Analysis Tag: Visual edit
• 12:4412:44, 17 June 2025 diff hist 0‎ m 1RB1LC 1LA1RE 0RD0LA 1RZ1LB 1LD0RF 0RD1RB ‎ fix typo Tag: Visual edit
• 06:1706:17, 17 June 2025 diff hist −22‎ m 1RB1LC 1LA1RE 0RD0LA 1RZ1LB 1LD0RF 0RD1RB ‎No edit summary Tag: Visual edit: Switched
• 06:1506:15, 17 June 2025 diff hist +2,469‎ N 1RB1LC 1LA1RE 0RD0LA 1RZ1LB 1LD0RF 0RD1RB ‎ Created page with "{{machine|1RB1LC_1LA1RE_0RD0LA_1RZ1LB_1LD0RF_0RD1RB}} {{TM|1RB1LC_1LA1RE_0RD0LA_1RZ1LB_1LD0RF_0RD1RB|halt}} Current BB(6) Champion. Discovered by mxdys on 16 June 2025. The halting t steps. It's in a family of 6 machines with the halting time and sigma score between 10↑↑11010000 and 10↑↑11011000: <pre> 1RB1LC_1LA1RE_0RD0LA_---1LB_1LD0RF_0RD1RB 1RB1LC_1LA1RE_0RD0LA_---1LB_1LE0RF_0RD1RB 1RB1LC_1LA1RD_1LA0LA_1LD0RE_0RF1RB_---1LB 1RB1LC_1LA1RD_1LA0LA_1LD0RE_0R..." Tag: Visual edit: Switched
• 05:1105:11, 17 June 2025 diff hist +1‎ Main Page ‎ update BB(6) lower bound Tag: Visual edit

8 May 2025

• 18:3518:35, 8 May 2025 diff hist +46‎ m Closed Tape Language (CTL) ‎ →‎DFA generator Tag: Visual edit

12 April 2025

• 19:2219:22, 12 April 2025 diff hist +76‎ m Busy Beaver for lambda calculus ‎ update BBλ(46) champion (trivial) Tag: Visual edit

11 April 2025

• 17:5517:55, 11 April 2025 diff hist −235‎ m Busy Beaver for lambda calculus ‎ update BBλ(45) champion (trivial) Tag: Visual edit
• 13:4613:46, 11 April 2025 diff hist +328‎ Busy Beaver for lambda calculus ‎ update BBλ(43) champion Tag: Visual edit
• 10:5410:54, 11 April 2025 diff hist +74‎ m Busy Beaver for lambda calculus ‎ update BBλ(42) champion (trivial) Tag: Visual edit
• 10:1710:17, 11 April 2025 diff hist +134‎ m Busy Beaver for lambda calculus ‎ add champion of size 41 Tag: Visual edit

10 April 2025

• 20:0420:04, 10 April 2025 diff hist +66‎ m Busy Beaver for lambda calculus ‎ update BBλ(40) champion Tag: Visual edit
• 18:2618:26, 10 April 2025 diff hist +4‎ m Busy Beaver for lambda calculus ‎ fix typo in BBλ(36) Tag: Visual edit

7 April 2025

• 23:5023:50, 7 April 2025 diff hist +94‎ Sequences ‎ group by position in arithmetical hierarchy Tag: Visual edit

11 March 2025

• 18:0018:00, 11 March 2025 diff hist +65‎ Closed Tape Language (CTL) ‎ fix RWL_mod definition
• 02:0202:02, 11 March 2025 diff hist +1‎ m Closed Tape Language (CTL) ‎ fix format Tag: Visual edit

10 March 2025

• 18:0718:07, 10 March 2025 diff hist +3,894‎ Closed Tape Language (CTL) ‎ add some MitM CTL tricks used in BB(6) Tag: Visual edit

25 November 2024

• 10:4110:41, 25 November 2024 diff hist +492‎ N 1RB0LB 1LC0RE 1LA1LD 0LC--- 0RB0RF 1RE1RB ‎ add classic cryptid #5
• 10:3610:36, 25 November 2024 diff hist +124‎ m BB(6) ‎ add classic cryptid #5

24 November 2024

• 11:0511:05, 24 November 2024 diff hist +134‎ m Code repositories ‎ add https://github.com/ccz181078/busycoq/tree/BB6/verify Tag: Visual edit

16 November 2024

• 08:1408:14, 16 November 2024 diff hist +1,080‎ Inductive Proof System ‎ unification in inductive decider current Tag: Visual edit

15 November 2024

• 21:4721:47, 15 November 2024 diff hist +2,605‎ Inductive Proof System ‎ Find and Prove Rules in Inductive Decider Tag: Visual edit
• 20:0420:04, 15 November 2024 diff hist +2,789‎ Inductive Proof System ‎ tape compression methods for inductive decider Tag: Visual edit

15 October 2024

• 00:2600:26, 15 October 2024 diff hist +385‎ N 1RB0LD 1RC1RF 1LA0RA 0LA0LE 1LD1LA 0RB--- ‎ Created page with "{{machine|1RB0LD_1RC1RF_1LA0RA_0LA0LE_1LD1LA_0RB---}} This is a BB(6) Cryptid found by @dyuan01 and shared on Discord on 04 Sep 2024. == Rules == <pre> start: (1,0) (3b+0,c+1) --> (4b+5,c) (3b+1,c) --> (4b+2,c+4) (3b+2,c+1) --> (4b+6,c+7) (3(3(3(3b+2)+1)+1)+0,0) --> halt (b,c) := 0^inf 110 A> 0^b 10^c 01 0^inf </pre> For simplicity only one potential halting rule is shown."
• 00:2000:20, 15 October 2024 diff hist +61‎ BB(6) ‎ add 4th non-halt cryptid in bb6

14 October 2024

• 19:5619:56, 14 October 2024 diff hist +387‎ N 1RB1LD 1RC1RE 0LA1LB 0LD1LC 1RF0RA ---0RC ‎ Created page with "{{machine|1RB1LD_1RC1RE_0LA1LB_0LD1LC_1RF0RA_---0RC}} This is a BB(6) Cryptid found by @mxdys and shared on Discord on 20 Aug 2024. == Analysis by @mxdys == <pre> 1RB1LD_1RC1RE_0LA1LB_0LD1LC_1RF0RA_---0RC start: (0,0) (3x+0,y) --> (4x+4,y+1) (3x+1,y+1) --> (4x+5,y+2) (3x+2,y) --> (4x+8,max(0,y-1)) (3x+1,0) --> halt (x,y) := 0^inf 110 <B 11011 01^x 011^y 0^inf </pre>"
• 19:5319:53, 14 October 2024 diff hist +61‎ BB(6) ‎ add 3rd non-halt cryptid in bb6 Tag: Visual edit: Switched

17 August 2024

• 11:2611:26, 17 August 2024 diff hist +543‎ Beaver Math Olympiad ‎ add BMO for 1RB0LD_1LC0RA_1RA1LB_1LA1LE_1RF0LC_---0RE

13 August 2024

• 06:3506:35, 13 August 2024 diff hist +15‎ m Collatz-like ‎ fix typo
• 06:3206:32, 13 August 2024 diff hist 0‎ m Collatz-like ‎ fix typo
• 05:0105:01, 13 August 2024 diff hist +54‎ m 1RB0LD 1LC0RA 1RA1LB 1LA1LE 1RF0LC ---0RE ‎ fix format Tag: Visual edit: Switched
• 04:5904:59, 13 August 2024 diff hist +54‎ m 1RB1RC 1LC1LE 1RA1RD 0RF0RE 1LA0LB ---1RA ‎ fix
• 04:3804:38, 13 August 2024 diff hist +2,088‎ N 1RB0LD 1LC0RA 1RA1LB 1LA1LE 1RF0LC ---0RE ‎ Created page with "This is a potential Cryptid found by @mxdys and shared on Discord on 7 Aug 2024. == Analysis by @mxdys == <pre> 1RB0LD_1LC0RA_1RA1LB_1LA1LE_1RF0LC_---0RE start from (2,3) (a,b+a+2) --> (2a+3,b) (a+b+1,b) --> (2,a+4b+5) (a,a) --> halt not used? (a,a+1) --> (2,2a+4) only used once? (a,b) := 0^inf 01^a 110 A> 1^(2b+1) 0^inf example: (2,3)--> (2,8)-->(7,4)--> (2,23)-->(7,19)-->(17,10)--> (2,51)-->(7,47)-->(17,38)-->(37,19)--> (2,98)-->(7,94)-->(17,85)-->(..."
• 04:2204:22, 13 August 2024 diff hist +861‎ N 1RB1RC 1LC1LE 1RA1RD 0RF0RE 1LA0LB ---1RA ‎ Antihydra variant
• 04:1204:12, 13 August 2024 diff hist +235‎ BB(6) ‎No edit summary
• 04:0104:01, 13 August 2024 diff hist 0‎ m BB(6) ‎ update holdout amount Tag: Visual edit

10 August 2024

• 09:3609:36, 10 August 2024 diff hist +3‎ Main Page ‎ update BB(2,5) lower bound Tag: Visual edit

4 August 2024

• 02:0302:03, 4 August 2024 diff hist +203‎ Sync bi-counter ‎ add description of decider Tag: Visual edit

1 August 2024

• 06:2406:24, 1 August 2024 diff hist +119‎ Sync bouncer counter ‎ add link to Coq proof Tag: Visual edit
• 06:2306:23, 1 August 2024 diff hist +119‎ Bell eats counter ‎ link to Coq proof Tag: Visual edit

21 July 2024

• 14:3514:35, 21 July 2024 diff hist +213‎ N 1RB1LF 1LB1LC 1RD0LE ---0RB 0RC0LA 1RC0RF ‎ Created page with "This is a chaotic-looking TM in BB(6) holdouts. It's suspected to be a translated cycler with high period and very hard to accelerate, because many other similar looking TMs become translated cycler in 2e10 steps."

15 July 2024

• 06:0206:02, 15 July 2024 diff hist 0‎ m Shift rule ‎ fix typo Tag: Visual edit

30 June 2024

• 03:1803:18, 30 June 2024 diff hist +1‎ m Cryptids ‎ fix format

20 June 2024

• 17:4617:46, 20 June 2024 diff hist +37‎ m Holdouts lists ‎ add note Tag: Visual edit

30 May 2024

• 09:5109:51, 30 May 2024 diff hist +714‎ N Sync bouncer counter ‎ init, add definition and examples Tag: Visual edit

29 May 2024

• 14:1914:19, 29 May 2024 diff hist +91‎ m Bell eats counter ‎ →‎Examples

28 May 2024

• 20:2120:21, 28 May 2024 diff hist +824‎ N Bell eats counter ‎ init, add definition and examples Tag: Visual edit
• 19:3519:35, 28 May 2024 diff hist +1,676‎ N History linear ‎ init, add definition and examples Tag: Visual edit
• 19:1419:14, 28 May 2024 diff hist +798‎ N Sync bi-counter ‎ init, add definition and examples Tag: Visual edit
• 18:5718:57, 28 May 2024 diff hist +953‎ N Shift overflow bouncer counter ‎ init, add definition and examples Tag: Visual edit