出典:Wikipedia
出典:『Wikipedia』 (2011/02/28 17:25 UTC 版)
In mathematics and computer science, Zeno machines (abbreviated ZM, and also called Accelerated Turing machine, ATM) are a hypothetical computational model related to Turing machines that allows a countably infinite number of algorithmic steps to be performed in finite time. These machines are ruled out in most models of computation.