BB(3,4): Difference between revisions
Jump to navigation
Jump to search
(I added the BB(3,4) page.) |
(→Top Halters: Added two more machines) |
||
| (2 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
{{Stub}}The current BB(3,4) [[Champions#3-Symbol TMs|champion]] is {{TM|1RB3LB1RZ2RA_2LC3RB1LC2RA_3RB1LB3LC2RC|halt}}. It runs for <math>2 \uparrow^{15} 5</math> steps before halting. It was discovered by Pavel Kropitz in 2024 and was analysed by Shawn Ligocki in the same year. | {{Stub}} | ||
The busy Beaver problem for 3 states and 4 symbols is unsolved, with the existence of [[Cryptids]] in the domain being given by the discovery of [[Bigfoot]] in [[BB(3,3)]]. The current BB(3,4) [[Champions#3-Symbol TMs|champion]] is {{TM|1RB3LB1RZ2RA_2LC3RB1LC2RA_3RB1LB3LC2RC|halt}}. It runs for <math>2 \uparrow^{15} 5</math> steps before halting. It was discovered by Pavel Kropitz in 2024 and was analysed by Shawn Ligocki in the same year. | |||
== Top Halters == | == Top Halters == | ||
| Line 10: | Line 11: | ||
|{{TM|1RB3LB1RZ2RA_2LC3RB1LC2RA_3RB1LB3LC2RC|halt}} | |{{TM|1RB3LB1RZ2RA_2LC3RB1LC2RA_3RB1LB3LC2RC|halt}} | ||
|<math>2 \uparrow^{15} 5</math> | |<math>2 \uparrow^{15} 5</math> | ||
|- | |||
|{{TM|1RB1RZ1LA2RB_1RC3RC1LA2LB_2LB2RC1LC3RB|halt}} | |||
|<math>2 \uparrow^{12} 4</math> | |||
|- | |||
|{{TM|1RB0LB1RZ3LA_0LC3RB3RC1LB_2RB2LA3RA1LC|halt}} | |||
|<math>10 \uparrow\uparrow {2\,048}</math> | |||
|} | |} | ||
[[Category:BB Domains]] | |||
Latest revision as of 23:52, 13 September 2025
The busy Beaver problem for 3 states and 4 symbols is unsolved, with the existence of Cryptids in the domain being given by the discovery of Bigfoot in BB(3,3). The current BB(3,4) champion is 1RB3LB1RZ2RA_2LC3RB1LC2RA_3RB1LB3LC2RC (bbch). It runs for steps before halting. It was discovered by Pavel Kropitz in 2024 and was analysed by Shawn Ligocki in the same year.
Top Halters
The top 20 longest running halting BB(3,4) TMs are:
| Standard format | (approximate) runtime |
|---|---|
1RB3LB1RZ2RA_2LC3RB1LC2RA_3RB1LB3LC2RC (bbch)
|
|
1RB1RZ1LA2RB_1RC3RC1LA2LB_2LB2RC1LC3RB (bbch)
|
|
1RB0LB1RZ3LA_0LC3RB3RC1LB_2RB2LA3RA1LC (bbch)
|
