一種超計算（hyper computation)模型，允許在有限的時間內運行完無窮的步驟，在大多數的圖靈機上無法實現。
基本介紹
- 中文名：芝諾機
- 外文名：zeno machine
嚴格意義上，芝諾機是指使用
的時間來完成算法的第n步。舉個例子，一種算法第一步需要0.5s，第二步需要0.25s，第三步需要0.125s，在1秒鐘之後，這段無窮步的算法就可以完成。
芝諾機允許一些函式在非圖靈模型上工作，比如圖靈停機問題就可以由如下的算法給出解答：
begin program write 0 on the first position of the output tape; begin loop simulate 1 successive step of the given Turing machine on the given input; if the Turing machine has halted, then write 1 on the first position of the output tape and break out of loop; end loopend program
