ゼノン機械
ゼノン機械(ゼノンきかい、英: Zeno machine、ZM)は、数学および計算機科学においてチューリング機械と関係する仮説的な計算モデルで、可算無限個のアルゴリズム手順を有限の時間に実行することができる。加速チューリング機械(英: accelerated Turing machine、ATM)とも呼ばれる。こうした機械は殆どの(現実の原理的計算可能性を把握することを目的とした)計算モデルからは排除されている。
より正式には、ゼノン機械はチューリング機械であって第 n ステップの実行に 2 単位の時間が掛かるものである。それゆえ、最初のステップは 0.5 単位時間を要し、第二は 0.25、第三は 0.125、といった具合に、一単位時間の後に可算無限(つまり א0)個のステップが実行されるようになっている。
ゼノン機械の概念は1927年にヘルマン・ワイルによって初めて論じられた。それとは独立にR・M・ブレイク とバートランド・ラッセルによっても論じられている。その名前はゼノンのパラドックスを指しており、古代ギリシアの哲学者エレアのゼノンに由来する。ゼノン機械はいくつかの理論で重要な役割を果たす。例えば、物理学者フランク・ティプラーの考案したオメガ点(英語版)の理論は、ゼノン機械(の実現)が可能である場合に限って妥当である。