A Busy Beaver Problem for Infinite-Time Turing Machines
Logic
2014-01-13 v1 Computational Complexity
Logic in Computer Science
Abstract
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.
Keywords
Cite
@article{arxiv.1401.2187,
title = {A Busy Beaver Problem for Infinite-Time Turing Machines},
author = {James T. Long and Lee J. Stanley},
journal= {arXiv preprint arXiv:1401.2187},
year = {2014}
}