ハイパーコンピュータ
無限に多数のステップを実行完了できるチューリング機械。単に、無限の計算量を実行可能なだけでは不十分である。前提として、有限の時間内に全ての計算を終了させる必要がある。提案されている例としては、時間の遅れを利用して、ハイパーコンピュータが無限の時間を使って計算している間に観測者は有限の時間経過しか観測しない、という方式がある(この場合、計算には無限大のエネルギーを要する)。別の例として、ゼノンのパラドックスから着想された純粋な数学的モデルであるゼノン機械(Zeno machine)がある。ゼノン機械では、最初の1ステップを(例えば)1分で行い、次のステップを0.5分で行い、さらに次のステップを0.25分で行う、というように1ステップにかかる時間が半減していく。この時間を無限ステップまで合計すると、2分で無限ステップを実行できることになる。
無限時間チューリング機械は、ゼノン機械を一般化したもので、潜在的に超限的な順序数によって列挙されるステップ数を要する無限に長い計算を実行できる。