4 ms·
We must know the percentage which halt! I can’t find it in the bbchallenge.org site, but every machine is categorized.
by srcreigh 2y ago
We must know the percentage which halt! I can’t find it in the bbchallenge.org site, but every machine is categorized.
- LegionMammal978 2y agoNot necessarily. The seed database only contains TMs in tree normal form (TNF), which already contains several reductions. To convert the percentage of TNF halters to the percentage of total halters, you'd have to account for the multiplicity of each TNF machine, which is a bunch of fiddly combinatorics. Also, you'd have to add the machines that have no TNF form due to never writing a 1 to the tape.