User contributions for Sligocki
Jump to navigation
Jump to search
20 June 2024
- 18:0518:05, 20 June 2024 diff hist +1,870 N 1RB0RC 1LC1LF 1RD0LB 1RZ0LE ---1RA 1LB0RE Created page with "{{machine|1RB0RC_1LC1LF_1RD0LB_1RZ0LE_---1RA_1LB0RE}} BB6 (with one unfilled transition) score/sigma champion: https://bbchallenge.org/1RB0RC_1LC1LF_1RD0LB_1RZ0LE_---1RA_1LB0RE does something sort of similar to 1RB1RA_1LC1RF_1RE1LD_0RD1LB_---0RA_1RZ0LE, but with A(a, 3k+r, c) -> A(a+4k, r, c) instead of the C(a, 3k+r, c) -> C(a, r, c+2k) above, so it gets about 2x tape size. <pre> 1RB0RC_1LC1LF_1RD0LB_1RZ0LE_---1RA_1LB0RE Steps: ~10^13.15788 = 14_384_000_997_..." Tag: Visual edit
- 18:0018:00, 20 June 2024 diff hist +811 N 1RB1RA 1LC1RF 1RE1LD 0RD1LB ---0RA 1RZ0LE Created page with "{{machine|1RB1RA_1LC1RF_1RE1LD_0RD1LB_---0RA_1RZ0LE}} AFAICT this is the current BB6 (with one unused transition) step champion: https://bbchallenge.org/1RB1RA_1LC1RF_1RE1LD_0RD1LB_---0RA_1RZ0LE <pre> 1RB1RA_1LC1RF_1RE1LD_0RD1LB_---0RA_1RZ0LE Steps: ~10^13.39223 = 24_673_582_891_560 Nonzeros: 2_323_223 = 2_323_223 C(a, b, c) = $ 1^a 0 1^b <C 1^2c+1 $ C(a, b+3, c) -> C(a, b, c+2) C(a, 0, c) -> C(a+1, 2c+1, 0) C(a, 1, c) -> C(0, a, c+1) C(0, 2, c) -> C(1, 2c+..." Tag: Visual edit: Switched
- 17:4917:49, 20 June 2024 diff hist +626 Skelet 1 Add some content and links Tag: Visual edit
- 03:0503:05, 20 June 2024 diff hist −6 Cryptids No edit summary Tag: Visual edit
16 June 2024
- 03:2603:26, 16 June 2024 diff hist +26 Shift rule →Simulation Acceleration Tag: Visual edit
- 03:2503:25, 16 June 2024 diff hist +31 Shift rule →Simulation Acceleration Tag: Visual edit
- 03:2403:24, 16 June 2024 diff hist +36 N Inductive rule Redirected page to Inductive Proof System current Tags: New redirect Visual edit
14 June 2024
- 20:0320:03, 14 June 2024 diff hist +402 Inductive Proof System No edit summary Tag: Visual edit
- 18:0218:02, 14 June 2024 diff hist +7 Decider →List of Deciders Tag: Visual edit
- 18:0218:02, 14 June 2024 diff hist +36 N Inductive Proof Redirected page to Inductive Proof System current Tags: New redirect Visual edit
- 18:0118:01, 14 June 2024 diff hist +242 N Inductive Proof System Stub Tag: Visual edit
- 17:5917:59, 14 June 2024 diff hist +62 N Transition rule Redirected page to Directed head notation#Configuration Transitions current Tags: New redirect Visual edit
- 17:1417:14, 14 June 2024 diff hist +21 N 1RB2RA1LC 2LC1RB2RB ---2LA1LA Redirected page to Bigfoot current Tags: New redirect Visual edit: Switched
- 17:1317:13, 14 June 2024 diff hist +42 Bigfoot No edit summary Tag: Visual edit
- 16:3916:39, 14 June 2024 diff hist +14 Main Page No edit summary Tag: Visual edit
- 16:3716:37, 14 June 2024 diff hist −4 Main Page No edit summary Tag: Visual edit
- 16:0716:07, 14 June 2024 diff hist +8 BB(5) No edit summary Tag: Visual edit
- 16:0716:07, 14 June 2024 diff hist +12 BB(5) →History Tag: Visual edit
- 15:4415:44, 14 June 2024 diff hist −17 5-state busy beaver winner No edit summary Tag: Visual edit
- 15:4215:42, 14 June 2024 diff hist +853 N Bigfoot Created page with "Category:Individual Machines '''Bigfoot''' is a BB(3, 3) Cryptid which simulates the Collatz-like function <math display="block">\begin{array}{l} A(a, & 6k, & c) & \to & A(a, & 8k+c-1, & 2) & \text{if} & 8k+c \ge 1 \\ A(a, & 6k+1, & c) & \to & A(a+1, & 8k+c-1, & 3) & \text{if} & 8k+c \ge 1 \\ A(a, & 6k+2, & c) & \to & A(a-1, & 8k+c+3, & 2) & \text{if} & a \ge 1 \\ A(a, & 6k+3, & c) & \to & A(a, & 8k+c+1, & 5) \\ A(a, & 6k+4,..." Tag: Visual edit: Switched
- 15:3415:34, 14 June 2024 diff hist +20 Cryptids No edit summary Tag: Visual edit
- 15:1415:14, 14 June 2024 diff hist +6 Main Page →bbchallenge.org Tag: Visual edit: Switched
- 15:1315:13, 14 June 2024 diff hist +103 Holdouts lists No edit summary Tag: Visual edit
- 15:1015:10, 14 June 2024 diff hist +28 N Holdout Redirected page to Holdouts lists current Tags: New redirect Visual edit
- 15:0515:05, 14 June 2024 diff hist +8 Deciders Redirected page to Decider current Tags: New redirect Visual edit: Switched
- 15:0415:04, 14 June 2024 diff hist +22 Decider No edit summary Tag: Visual edit: Switched
- 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
13 June 2024
- 04:1504:15, 13 June 2024 diff hist +56 Introduction to the Busy Beaver Function Add some formatting, wikilinks. current Tag: Visual edit
- 02:2002:20, 13 June 2024 diff hist +1,670 Shift rule Add some applications Tag: Visual edit
12 June 2024
- 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
8 June 2024
- 21:3221:32, 8 June 2024 diff hist −131 Main Page No edit summary Tag: Visual edit
- 21:3121:31, 8 June 2024 diff hist +11 Main Page →bbchallenge.org: Link Cryptids Tag: Visual edit
- 21:3021:30, 8 June 2024 diff hist +35 N Busy Beaver functions Redirected page to Busy Beaver Functions current Tag: New redirect
- 21:2921:29, 8 June 2024 diff hist +35 N Busy Beaver function Redirected page to Busy Beaver Functions current Tags: New redirect Visual edit: Switched
5 June 2024
- 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
4 June 2024
- 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