BB(1,m)

From BusyBeaverWiki
Revision as of 14:30, 30 August 2025 by Polygon (talk | contribs) (→‎Champions: Made champions section consistent with other domain pages)
Jump to navigation Jump to search

BB(1,m) is the Busy Beaver problem for 1-state, m-symbol TMs. They are relatively trivial. No matter how many symbols you have, TNF only has access to a single transition, the initial A0 transition. In fact, there are only 3 different turing machines in TNF: One halting: A0:1RZ and 2 trivial Translated Cyclers: A0:0RA and A0:1RA. These are effectively 1-instruction TMs in BBi. As a result S(1,m) = 1 and Σ(1,m) = 1.

Champions

S(1,m) = 1 and Σ(1,m) = 1 are both achieved by only one champion in TNF: