ゼノン機械
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/05/20 05:31 UTC 版)
ゼノン機械(ゼノンきかい、英: Zeno machine、ZM)は、数学および計算機科学においてチューリング機械と関係する仮説的な計算モデルで、可算無限個のアルゴリズム手順を有限の時間に実行することができる。加速チューリング機械(英: accelerated Turing machine、ATM)とも呼ばれる[1]。こうした機械は殆どの(現実の原理的計算可能性を把握することを目的とした)計算モデルからは排除されている。
- ^ Copeland, B. Jack (2002). “Accelerating Turing Machines”. Minds and Machines 12: 281-301.
- ^ Weyl, Herman (1949) (English Translation). Philosophy of Mathematics and Natural Science. Princeton University Press
- ^ Blake, R. M. (1926). “The Paradox of Temporal Process”. The Journal of Philosophy 23 (24): 645-654.
- ^ Russell, Bertrand (1935-1936). “The Limits of Empiricism”. Proceedings of the Aristotelian Society 36: 31-150.
- ^ S. Calude, Cristian; Staiger, Ludwig (2010年). “A note on accelerated Turing machines”. Mathematical Structures in Computer Science 20 (6): pp. 1011-1017
- 1 ゼノン機械とは
- 2 ゼノン機械の概要
- 3 関連項目
- ゼノン機械のページへのリンク