ゼノン機械
ゼノン機械はチューリング計算可能でないような或る関数の計算を可能にする。例えばチューリング機械の停止問題はゼノン機械によって解ける(以下の擬似コードアルゴリズムを用いる)。
このプログラムはゼノン機械によって一単位時間で実行される。計算が終了した時点で出力テープには停止問題の正しい解が印字される。
この種のチューリング限界の彼方にある計算はハイパーコンピュテーション(このケースのものはスーパータスクによるハイパーコンピュテーション)と呼ばれる。さらなる議論と文献については当該記事を参照。