Main public logs

Combined display of all available logs of BusyBeaverWiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 21:02, 31 March 2026 Polygon talk contribs created page 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...")