finite-automata - オートマトンの用途は何ですか？

Question

言い換えれば、なぜ私はそれについて学ぶ必要がありますか？いつ言うつもりですか...ああ、私はこれのためにオートマトンまたはチューリングマシンを押し下げることについて知る必要があります。

素材の用途がわかりません。ありがとう

Answer 1

オートマトン理論について学ぶ必要があります。これは、特定のシステムで計算上可能なことを理解するのに役立つためです。プッシュダウンオートマトンと万能チューリングマシンの違いを理解している人は、正規表現を使用してHTMLを解析しようとすることがなぜ悪い考えであるかを理解しています。REを使用してHTMLを解析しようとしても問題ないと思われる人。

Answer 2

この種の解決策にぴったりの問題があり、そのいくつかは次のとおりです。

• パーサー
• ステートフルシステムのシミュレーション
• イベント駆動型の問題

おそらく他にもたくさんあります。いくつかの関数がこれを実行できるか、それを実行できるかに応じて、アドホックstate変数を持つコードを書き始める場合は、適切なFSAの恩恵を受けることができます。

Answer 3

まず、すぐに役立つからではなく、本質的に価値があるから、学ぶ価値のあることがあるというのが私の立場です。現代の教育の大きな失敗は、彼らがまだ印象的であるときにこれを学生に納得させることは何もしないということです。

そうは言っても、オートマトン理論は本質的に価値があり、信じられないほど有用です。テキストの解析、プログラムのコンパイル、およびコンピューティングデバイスの機能は、オートマトン理論が私たちに与える種類のものを使用してのみ実際に理解できます...そして計算システムを最大限に活用するには、深い理解が必要です。オートマトン理論により、計算について尋ねることができる最も基本的な質問のいくつかに答えることができます。計算を行うためにどのようなリソースが必要ですか。与えられたリソースで、私たちは何を解決できますか？いくつの資源を持っていても解決できない問題はありますか？計算の効率を扱う複雑性理論は、意味のある定義をするためにオートマトン理論を必要とするという事実は言うまでもありません。

Answer 4

オートマトン（機械に他なりません）について学ぶことは、計算の限界についての考えを与えます。オートマトンが文字列を受け入れない場合、それはマシンがその文字列を入力として受け取ることができないことを意味します。状態図は一般に、パーサー/マシンを構築するための入力に対して考えられる結果を示します。

良い例は、email-idの形式をチェックすることです。電子メールの形式が適切でない場合、ソフトウェアはフォームへの入力中に電子メールIDを受け入れません。ここでは、ソフトウェアは特定の形式の電子メールIDのみを受け入れています。基本的にオートマトンとステートマシンを使ってこれを理論的に整理することで、そのようなソフトウェアを構築することができました。