|
|
| Line 1: |
Line 1: |
| '''Skelet's 43 holdouts''' are 43 different 5-state, 2-symbol machines made public by Skelet in 2003. These machines are derived from a set of 164 machines that were left undecided by Skelet's bbfind program, which classified all other 5-state, 2-symbol machines into either halting or non-halting.<ref name="Skelet">Skelet, "[https://skelet.ludost.net/bb/index.html Busy Beaver prover]" (2003). Accessed 29 August 2024.</ref> Due to the length and lack of comments in bbfind's source code, Skelet's work is believed to not have been independently verified.<ref>"[https://bbchallenge.org/story#skelets-43-undecided-machines Story]" (section "Skelet's 43 undecided machines").</ref> It is now known that all 43 of these holdouts do not halt.<ref>"[https://bbchallenge.org/skelet Skelet’s 43 machines]".</ref>
| | #REDIRECT [[Skelet]] |
| | |
| Other work done in bbfind includes computing the correct value of BB(4).<ref name="Skelet" />
| |
| | |
| See: https://bbchallenge.org/skelet
| |
| | |
| == References ==
| |
| [[Category:Stub]]
| |