BB(1,m): Difference between revisions
Jump to navigation
Jump to search
(Added additional information) |
(Update to BB(1,m)) |
||
| (2 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
BB(1) | 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 <code>A0</code> transition. In fact, there are only 3 different turing machines in [[TNF]]: One halting: <code>A0:1RZ</code> and 2 trivial [[Translated Cyclers]]: <code>A0:0RA</code> and <code>A0:1RA</code>. These are effectively 1-instruction TMs in [[BBi]]. As a result S(1,m) = 1 and Σ(1,m) = 1. | ||
==Champions== | ==Champions== | ||
S(1) = 1, achieved by: | S(1,m) = 1, achieved by: | ||
* {{TM|1RZ---|halt}} | * {{TM|1RZ---|halt}} | ||
Σ(1) = 1, achieved by: | Σ(1,m) = 1, achieved by: | ||
* {{TM|1RZ---|halt}} | * {{TM|1RZ---|halt}} | ||
[[Category:BB Domains]] | [[Category:BB Domains]] | ||
Latest revision as of 20:40, 25 August 2025
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, achieved by:
1RZ---(bbch)
Σ(1,m) = 1, achieved by:
1RZ---(bbch)