User contributions for Polygon

1 April 2026

• 10:5610:56, 1 April 2026 diff hist +155 Halting Segment Separated lead and method current
• 10:5410:54, 1 April 2026 diff hist +4 Backward Reasoning linked Turing machine current
• 10:5310:53, 1 April 2026 diff hist +212 Backward Reasoning Separated the method section from the lead
• 10:5010:50, 1 April 2026 diff hist −1 User:Polygon/Page for testing updates
• 10:4910:49, 1 April 2026 diff hist +246 TMBR: April 2026 Fractran visualiser
• 10:4610:46, 1 April 2026 diff hist +377 N TMBR: April 2026 Created page with "{{TMBRnav|March 2026|May 2026}} ''This edition of TMBR is in progress and has not yet been released. Please add any notes you think may be relevant (including in the form a of a TODO with a link to any relevant Discord discussion).'' This Month in Beaver Research for April 2026. 2026-04"
• 10:4010:40, 1 April 2026 diff hist +32 N RepWL ES Redirected page to Repeated Word List current Tag: New redirect
• 10:4010:40, 1 April 2026 diff hist +53 Repeated Word List added RepWL_ES as a synonym

31 March 2026

• 21:3121:31, 31 March 2026 diff hist +25 Repeated Word List →RWLAcc: similar to Quick Sim
• 21:3021:30, 31 March 2026 diff hist +112 Repeated Word List →Method: referencing
• 21:2621:26, 31 March 2026 diff hist +4 Repeated Word List →RWLAcc: linked accelerated simulator
• 21:2221:22, 31 March 2026 diff hist +39 N RWLAcc Redirected page to Repeated Word List#RWLAcc current Tag: New redirect
• 21:2121:21, 31 March 2026 diff hist +40 User:Polygon/Page for testing RWLAcc
• 21:2021:20, 31 March 2026 diff hist +364 Repeated Word List Added RWLAcc section (currently lacking details)
• 21:1121:11, 31 March 2026 diff hist 0 Closed Position Set better placement for the link
• 21:0921:09, 31 March 2026 diff hist +14 Closed Tape Language →n-gram CPS: added link to NGram CPS current
• 21:0821:08, 31 March 2026 diff hist +14 Closed Position Set →Implementations: linked NGram CPS
• 21:0721:07, 31 March 2026 diff hist +56 Decider Added NGram CPS
• 21:0421:04, 31 March 2026 diff hist +23 N N-Gram CPS Redirected page to NGram CPS current Tag: New redirect
• 21:0321:03, 31 March 2026 diff hist −3,234 User:Polygon/Page for testing Removed NGram CPS
• 21:0221:02, 31 March 2026 diff hist +3,233 N NGram CPS Created page with "'''NGram CPS''' is a decider and a subset of the general CTL method. It generates a set of local configurations in a fixed radius around the TM head, if the set of these local configurations is shown to be closed, the TM is proven non-halting. == Method == It only evaluates the tape in a fixed radius <math>n</math> around the central cell which the TM head is on, called the local configuration. Local configurations contain the state the TM is in, the symbol the..." current
• 20:5720:57, 31 March 2026 diff hist +46 User:Polygon/Page for testing Added RepWL as incomplete (missing variants)
• 20:4820:48, 31 March 2026 diff hist +142 User:Polygon/Page for testing →NGram CPS: referencing, see also
• 20:4520:45, 31 March 2026 diff hist +147 User:Polygon/Page for testing →NGram CPS: added reproduction
• 20:3820:38, 31 March 2026 diff hist +150 User:Polygon/Page for testing →History: began section
• 20:2920:29, 31 March 2026 diff hist +517 User:Polygon/Page for testing →Augmentations: Added text for LRU
• 20:1820:18, 31 March 2026 diff hist +32 N RWL Redirected page to Repeated Word List current Tag: New redirect
• 20:1620:16, 31 March 2026 diff hist +119 Repeated Word List Added general description to the lead
• 20:1120:11, 31 March 2026 diff hist +174 User:Polygon/Page for testing →NGram CPS: general description in the lead
• 20:0920:09, 31 March 2026 diff hist 0 m User:Polygon/Page for testing →NGram CPS: typo
• 20:0920:09, 31 March 2026 diff hist +172 User:Polygon/Page for testing →Method: wording
• 20:0020:00, 31 March 2026 diff hist +6 m User:Polygon/Page for testing →NGram CPS: bold
• 20:0020:00, 31 March 2026 diff hist +81 User:Polygon/Page for testing →NGram CPS: structuring
• 19:1819:18, 31 March 2026 diff hist +100 Repeated Word List Splitting the description into a separate paragraph
• 19:1519:15, 31 March 2026 diff hist +242 User:Polygon/Page for testing →NGram CPS: added text for Fixed-length history
• 19:0419:04, 31 March 2026 diff hist +82 User:Polygon/Page for testing →NGram CPS: augmentations
• 19:0219:02, 31 March 2026 diff hist +402 User:Polygon/Page for testing →NGram CPS: more text
• 18:5618:56, 31 March 2026 diff hist +513 User:Polygon/Page for testing →NGram CPS: still more text
• 18:4418:44, 31 March 2026 diff hist +325 User:Polygon/Page for testing →NGram CPS: more text
• 18:3818:38, 31 March 2026 diff hist +208 User:Polygon/Page for testing Expansion on NgramCPS
• 18:3118:31, 31 March 2026 diff hist +38 User:Polygon/Page for testing Began NGramCPS
• 18:1418:14, 31 March 2026 diff hist +35 User:Polygon/Page for testing Added nGram CPS as a missing page
• 17:2017:20, 31 March 2026 diff hist +2 m Shift overflow bouncer counter grammar fix current
• 17:1317:13, 31 March 2026 diff hist +505 Holdouts lists →Downloadable Holdouts Lists: added two more missing holdouts lists
• 17:0717:07, 31 March 2026 diff hist +253 Holdouts lists →Downloadable Holdouts Lists: Added BB(2,5) 1588 holdouts list
• 16:5916:59, 31 March 2026 diff hist +253 Holdouts lists →Downloadable Holdouts Lists: Added BB(2,5) 1835 holdouts list
• 16:5616:56, 31 March 2026 diff hist +253 Holdouts lists →Downloadable Holdouts Lists: Added BB(2,5) 1921 holdouts list
• 16:5316:53, 31 March 2026 diff hist +253 Holdouts lists →Downloadable Holdouts Lists: Added BB(2,5) 2354 holdouts list
• 16:5116:51, 31 March 2026 diff hist +253 Holdouts lists →Downloadable Holdouts Lists: Added BB(2,5) 2438 holdouts list
• 16:4816:48, 31 March 2026 diff hist +253 Holdouts lists →Downloadable Holdouts Lists: Added BB(2,5) 2564 holdouts list