Infinite time Turing machines (ITTMs) are a generalization of Turing machines to infinite computation lengths, first described by Joel David Hamkins and Andy Lewis. They lead to a stronger analog \(\Sigma_\infty\) to the busy beaver function.