User contributions for Sligocki

15:0315:03, 14 June 2024 diff hist +26‎ N Category:Deciders ‎ Created page with "Category for Deciders." current Tag: Visual edit
14:5614:56, 14 June 2024 diff hist +304‎ N Accelerated simulator ‎ Created page with "An '''Accelerated Simulator''' is a program which simulates a Turing machine in a way that scales faster than direct, step-by-step simulation. A common method for accelerated simulation is using Inductive Proofs. But there are other methods as well, including Macro Machines and hash_sim." Tag: Visual edit: Switched
14:5014:50, 14 June 2024 diff hist +76‎ Decider ‎No edit summary Tag: Visual edit
14:4814:48, 14 June 2024 diff hist +683‎ N Decider ‎ Created page with "A '''Decider''' is a program which attempts to decide whether or not a given Turing machine (TM) will halt. Since the Halting Problem is uncomputable, no decider can decide all TMs, instead deciders categorize each TM into one of three categories: Halting, Proven Infinite, or Holdout. There are a wide variety of methods used to construct deciders. Some broad categories are: Accelerated Simulators, Backwards Reasoning and Closed Set methods. == List..." Tag: Visual edit: Switched
14:3514:35, 14 June 2024 diff hist +12‎ N Deciders ‎ Created page with "#Decider" Tag: Visual edit: Switched
13:3813:38, 14 June 2024 diff hist +6‎ Holdouts lists ‎No edit summary Tag: Visual edit: Switched

19:3819:38, 12 June 2024 diff hist +2,291‎ Directed head notation ‎ Add section on Configuration Transitions Tag: Visual edit
19:0619:06, 12 June 2024 diff hist +3,150‎ N Directed head notation ‎ Created page with "'''Directed head notation''' is a notation for specifying a Turing machine configuration using tape compression and a TM head which "points" either to the left or right. Directed head notation may be used for a complete tape configuration<math display="block">0^\infty \; 1 \; \textrm{ <B } \; 0^3 \; 13^{10} \; 2 \; 0^\infty</math> or for a partial configuration <math display="block">101 \; \textrm{ A> } \; 1^n</math> == Tape Compression == This nota..." Tag: Visual edit
17:5717:57, 12 June 2024 diff hist +2,258‎ N Shift rule ‎ Add Shift Rules Tag: Visual edit

22:5422:54, 5 June 2024 diff hist +4‎ Collatz-like ‎No edit summary Tag: Visual edit
22:5422:54, 5 June 2024 diff hist +165‎ N Busy Beaver Champions ‎ Stub Champion article Tag: Visual edit
22:5322:53, 5 June 2024 diff hist +444‎ Busy Beaver Functions ‎ Add some Harland information. Tag: Visual edit
22:4422:44, 5 June 2024 diff hist +2,412‎ N Busy Beaver Functions ‎ Add basic overview of the two most commonly used Busy Beaver functions Tag: Visual edit
03:2003:20, 5 June 2024 diff hist +3,993‎ N Collatz-like ‎ Create Collatz-like page Tag: Visual edit
02:0302:03, 5 June 2024 diff hist +95‎ Cryptids ‎ Wikilink & Code format. Tag: Visual edit

20:5120:51, 4 June 2024 diff hist +495‎ Cryptids ‎No edit summary Tag: Visual edit: Switched
20:4720:47, 4 June 2024 diff hist +79‎ N User:Sligocki ‎ Created page with "Shawn Ligocki I write about Busy Beavers on my blog: https://www.sligocki.com/" current
20:4420:44, 4 June 2024 diff hist +1,721‎ N Cryptids ‎ Start Cryptid article Tag: Visual edit: Switched

Navigation menu