English Dictionary

The theoretical computer scientist wrote a paper arguing that a Zeno machine could decide certain problems uncomputable by a standard Turing machine.

理論計算機科学者は、可算無限回の計算ステップを実行できる仮想的な計算モデルが、通常のチューリングマシンでは解けない特定の問題を解けると主張する論文を書いた。