Generating candidate busy beaver machines (or how to build the zany zoo)

Open Webpage

James Harland

Published: 2022, Last Modified: 22 Sept 2025Theor. Comput. Sci. 2022EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Highlights•Generation of machines to compute the busy beaver function needs careful analysis.•Formal results justifying the soundness of a specific strategy for machine generation.•Devise procedure to generate minimal number of machines.•Provide empirical results and links to code and output data.