Small Turing machines and generalized busy beaver competition Theoretical Computer Science 326 (2004)

by P Michel