User contributions for Sligocki

A user with 972 edits. Account created on 28 May 2024.
Jump to navigation Jump to search
Search for contributionsExpandCollapse
⧼contribs-top⧽
⧼contribs-date⧽
(newest | oldest) View ( | ) (20 | 50 | 100 | 250 | 500)

13 July 2025

  • 02:5902:59, 13 July 2025 diff hist +2,107 N Reversible Turing Machine Created page with "A '''Reversible Turing Machine''' is a Turing machine for which the computation can always be run backwards from any step back to the original configuration. This property (called logical reversibility) has theoretical implications for the limits of computation. Specifically, non-reversible computation cannot scale beyond some limit due to the inherent entropy cost whereas reversible computations may be able to. == Definition == There does not seem to be a completel..." Tag: Visual edit: Switched
  • 02:4602:46, 13 July 2025 diff hist +28 N Turing Machine Redirected page to Turing machine current Tag: New redirect

9 July 2025

30 June 2025

28 June 2025

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 1RD0RB Created 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 ---0RF Created 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

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