A Busy Beaver Problem for Infinite-Time Turing Machines

James T. Long, Lee J. Stanley

This note introduces a generalization to the setting of infinite-time computation of the busy beaver problem from classical computability theory, and proves some results concerning the growth rate of an associated function. In our view, these results indicate that the generalization is both natural and promising.

Knowledge Graph



Sign up or login to leave a comment