User contributions for Sligocki

Jump to navigation Jump to search
Search for contributionsExpandCollapse
⧼contribs-top⧽
⧼contribs-date⧽
(newest | oldest) View ( | ) (20 | 50 | 100 | 250 | 500)

21 June 2025

18 June 2025

7 June 2025

3 June 2025

30 May 2025

28 May 2025

23 May 2025

22 May 2025

  • 17:3917:39, 22 May 2025 diff hist +1 m BB(7)→‎Current Progress Tag: Visual edit
  • 04:4104:41, 22 May 2025 diff hist +850 N 1RB--- 0LC1RE 0LD1LC 1LE0RG 1RF0RC 1RC1RA 1RD0RBCreated page with "{{machine|1RB---_0LC1RE_0LD1LC_1LE0RG_1RF0RC_1RC1RA_1RD0RB}} {{TM|1RB---_0LC1RE_0LD1LC_1LE0RG_1RF0RC_1RC1RA_1RD0RB}} is an nonhalting BB(7) TM with an infinite tetrational rule. == Analysis by Shawn Ligocki == <pre> 11 01^n D> 00 --> 01^n+2 D> 0^4 01^2n D> 0^3 --> 111 01 0001^n 01 D> 0 01^2n+1 D> 0^4 --> 1 11^2n+2 01 D> 1000101 D> 0^5 --> 0100^2 11 01 D> 00010 01^2n D> 0^4 --> 111 01 0001^n-1 0 1^5 01 D> 0001 0101^n D> $ --> 0101^2n+6 D> $ 0001^2 0 01..."
  • 03:2703:27, 22 May 2025 diff hist +1,435 N 1RB1RF 0RC0RD 1LC1LD 1LE0RB 0RA1LG 1LC1RA ---0RFCreated page with "{{machine|1RB1RF_0RC0RD_1LC1LD_1LE0RB_0RA1LG_1LC1RA_---0RF}} {{TM|1RB1RF_0RC0RD_1LC1LD_1LE0RB_0RA1LG_1LC1RA_---0RF}} is an nonhalting BB(7) TM with an infinite tetrational rule. == Analysis by Shawn Ligocki == Low level rules: <pre> 11 00^n C> 0^2 --> 00^n+2 C> 1101 00^n C> 0^3 --> 0 11^n+1 00^2 C> 0010 00^n C> 0^8 --> 01 11^n+1 0^3 1 00^2 C> 001 00^n C> 0^3 --> 01 11^n 00^2 C> 110 00^n C> 0^5 --> 0^2n+3 1 00^2 C> 0101 00^n C> 0 --> 1 Z> 1^2n+4 </p..."

21 May 2025

20 May 2025

19 May 2025

18 May 2025

17 May 2025

16 May 2025

14 May 2025

13 May 2025

(newest | oldest) View ( | ) (20 | 50 | 100 | 250 | 500)