User contributions for Polygon

20 February 2026

• 22:4522:45, 20 February 2026 diff hist +86 Repeated Word List Added See also section
• 22:4222:42, 20 February 2026 diff hist +336 Repeated Word List Added history section
• 22:3022:30, 20 February 2026 diff hist +181 Repeated Word List Added mechanism for proving non-halting
• 22:2722:27, 20 February 2026 diff hist +33 Decider →List of Deciders: added Repeated Word List current
• 22:2622:26, 20 February 2026 diff hist +295 Repeated Word List Added N
• 22:1922:19, 20 February 2026 diff hist +318 Repeated Word List Added regex branching
• 22:1022:10, 20 February 2026 diff hist +226 Repeated Word List Added block simulation
• 22:0422:04, 20 February 2026 diff hist +89 Repeated Word List Constant blocks
• 22:0122:01, 20 February 2026 diff hist −5 Repeated Word List wording
• 21:5921:59, 20 February 2026 diff hist +311 Repeated Word List Began expansion
• 21:4221:42, 20 February 2026 diff hist +32 N RepWL Redirected page to Repeated Word List current Tag: New redirect
• 21:2221:22, 20 February 2026 diff hist +94 N Repeated Word List Created page with "'''Repeated Word List''' (short '''RepWL''') is a decider. Category:Deciders {{Stub}}"
• 21:0721:07, 20 February 2026 diff hist +94 User:Polygon/Page for testing Added missing (RepWL)
• 20:5320:53, 20 February 2026 diff hist +88 Finite Automata Reduction Reference for Nondeterministic Finite Automata current
• 20:4420:44, 20 February 2026 diff hist +58 Finite Automata Reduction expanded
• 20:4020:40, 20 February 2026 diff hist −25 Finite Automata Reduction rewording
• 20:3920:39, 20 February 2026 diff hist +81 User:Polygon/Page for testing started a list
• 20:2620:26, 20 February 2026 diff hist +1 m Finite Automata Reduction Missing point
• 20:2620:26, 20 February 2026 diff hist +223 Finite Automata Reduction Attempted to expand this a bit
• 20:1420:14, 20 February 2026 diff hist −2 1RB1LE 1LB1LC 1RD0LE ---0RB 1RF1LA 0RA0RD →Analysis by Polygon: updated rule A10 to use rule a4
• 19:4919:49, 20 February 2026 diff hist +179 TMBR: February 2026 →Holdouts: added two new non-halting TMs
• 19:1519:15, 20 February 2026 diff hist 0 m BB(2,6) →Stage 4: comma
• 19:0919:09, 20 February 2026 diff hist 0 TMBR: February 2026 →Holdouts: updated BB(2,6) progress
• 19:0819:08, 20 February 2026 diff hist 0 Holdouts lists Updated BB(2,6) holdout count
• 19:0719:07, 20 February 2026 diff hist +184 BB(2,6) →Stage 4: Added two new reductions
• 18:2818:28, 20 February 2026 diff hist +18 Champions Added references section
• 18:2718:27, 20 February 2026 diff hist +274 Champions →2-Symbol TMs: Added BB(150) lim(BMS) TM
• 18:0118:01, 20 February 2026 diff hist 0 BB(4,4) Moved the reference to its corresponding statement current
• 17:5017:50, 20 February 2026 diff hist +163 TMBR: February 2026 →Holdouts: added new BB(6) holdouts list
• 17:3517:35, 20 February 2026 diff hist +4 BB(4,4) Consistency
• 17:3317:33, 20 February 2026 diff hist +292 BB(8) Expanded section about enumeration current
• 16:5716:57, 20 February 2026 diff hist +155 BB(3,5) Mentioned the champion having been constructed current
• 16:3716:37, 20 February 2026 diff hist 0 BB(4,4) Link exchange
• 16:3516:35, 20 February 2026 diff hist +789 N BB(4,4) Created page with "The 4-state 4-symbol Busy Beaver problem, BB(4,4), is unsolved and unexplored. With Cryptids like Bigfoot in the preceding domain BB(3,3), we know that we must solve a Collatz-like problem in order to solve BB(4,4). The current BB(4,4) champion is simply inherited from BB(3,4) as BB(4,4) has not been explored yet. In September 2025, tjligocki ran a test enumeration on one of 1 billion subtasks. The subtask ran for 1.5 hours..."
• 14:5514:55, 20 February 2026 diff hist −3 BB(11) expected --> known current
• 14:4914:49, 20 February 2026 diff hist +45 Non-halting Turing machine Added Category:Zoology and Category:Functions
• 14:3114:31, 20 February 2026 diff hist +198 N Talk:BB(3,5) Created page with "Is there any available information on the champion TM {{TM|1RB3LB4LC2RA4LB_2LC3RB1LC2RA1RZ_3RB1LB3LC2RC4LC|halt}}? ~~~~" current
• 14:3014:30, 20 February 2026 diff hist +479 BB(11) Made this page consistent with other BB Domain pages
• 14:2314:23, 20 February 2026 diff hist +242 BB(3,6) Made this page consistent with other BB Domain pages current
• 14:1914:19, 20 February 2026 diff hist +316 BB(2,9) Made this page consistent with other BB Domain pages current
• 14:1214:12, 20 February 2026 diff hist +273 BB(2,8) Made this page consistent with other BB Domain pages current
• 14:0214:02, 20 February 2026 diff hist +34 Beaver Math Olympiad Added Category:Individual machines current
• 14:0114:01, 20 February 2026 diff hist 0 m Dekaheptoid →1RB1LC_1RC---_0LD1RE_0LA1LD_0RF0RB_0LC1RE: grammar current
• 13:5813:58, 20 February 2026 diff hist +22 Universal Turing Machine Added Category:Zoology current
• 13:5613:56, 20 February 2026 diff hist 0 m Champions Category spelling
• 13:5613:56, 20 February 2026 diff hist +55 Champions Added Category:Individual Machines and Category:Zoology
• 13:5113:51, 20 February 2026 diff hist +22 Logical independence Added Category:Zoology
• 13:4513:45, 20 February 2026 diff hist +48 TYBR: 2025 Added Category:This Year in Beaver Research
• 13:4413:44, 20 February 2026 diff hist +215 N Category:This Year in Beaver Research Created page with "'''This Year in Beaver Research''' ('''TYBR''') is an annual series of articles dedicated to covering Busy Beaver research progress, announcements and news from each year. Category:This Month in Beaver Research" current
• 13:4113:41, 20 February 2026 diff hist +52 TMBR: February 2026 Added Category:This Month in Beaver Research