(computing theory) A hypothetical computational model, related to Turing machines, that would be capable of carrying out computations involving a countably infinite number of algorithmic steps.
Zeno machine
理論計算機科学者は、可算無限回の計算ステップを実行できる仮想的な計算モデルが、通常のチューリングマシンでは解けない特定の問題を解けると主張する論文を書いた。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
