Sciweavers

66
Voted
CATS
2007
14 years 10 months ago
Analysis of Busy Beaver Machines via Induction Proofs
The busy beaver problem is to find the maximum number of 1’s that can be printed by an n-state Turing machine of a particular type. A critical step in the evaluation of this va...
James Harland