Kivonat
この記事では、連続時間のODEを使用して、計算モデルをシミュレートし、Turingマシンの構成を実装する方法が提案されています。具体的には、Turingマシンの構成を実数にエンコードし、そのエンコーディングを使用して実行をシミュレートします。また、離散ODEと連続ODEの関係や空間複雑性と精度の関係についても議論されています。
Statisztikák
一部の問題はPSPACE完全であることが示されている。
離散ODEと連続ODEを使ってTuringマシンをシミュレートする方法が提案されている。
Idézetek
"The question of whether we can give a simple equivalent defining space-complexity remains."
"We argue here that space complexity is polynomially related and conversely to the numerical stability of ODEs and their associated precision."