6
チューリングマシンが計算の一般的なモデルであるのはなぜですか？
私はCS学部です。Turingがどのようにして彼の抽象的なマシン（計算を行う人をモデル化する）を思いついたのかは理解していますが、私にとっては扱いにくい、洗練されていない抽象化のようです。なぜ「テープ」、マシンヘッドが記号を書いたり、状態を変えたり、テープを前後に動かしたりするのか、と考えるのはなぜですか。 根本的な意味は何ですか？DFAはエレガントです。通常の言語を認識するために必要なものを正確にキャプチャしているようです。しかし、チューリングマシンは、私の初心者の判断では、単なる不器用な抽象的な仕掛けです。 それについて考えた後、最も理想的な計算モデルは、入力文字列に対応するいくつかの物理システムが、動きに設定された後、静的平衡に達すると言うことだと思います。元の文字列からのシステムは、正しい出力文字列に対応します。これは、システムが元の状態のみに基づいて決定論的に変化するため、「自動化」の概念を捉えています。 編集： いくつかの回答を読んだ後、チューリングマシンについて私を混乱させるのは、それが最小限に思えないことであることに気付きました。計算の標準モデルは明らかに計算可能性の本質を伝えるべきではないでしょうか？ また、明確でない場合は、DFAが計算の完全なモデルではないことを知っています。 返信いただきありがとうございます。