finite-automata - 平方根コンピューティングチューリングマシン

Question

私はこの答えに近いと思いますが、それでも確認するために、実数の計算に取り組み、正確な結果を得ることができるチューリングマシン（少なくとも原理的には）を作成できますか？**たとえば、整数の平方根を見つけます。（その出力は実数になります）そのようなマシンを開発できないという私の論理は、実数は数え切れないほど無限であり、数え切れないほど無限の言語ではチューリングマシンを作成できないということです。

Answer 1

精度に制限（つまり、小数点以下 4 桁か 5 桁まで）を付ければ、チューリング マシンを作成できると思います。それなら可能です。そうしないと作れない気がします。