Academic

Bounds on Busy Turing Machines

Simulation and analysis of the busy beaver function