私は計算理論に取り掛かり始めたばかりです。計算理論は、何を計算できるか、どれだけ速く、どれだけのメモリを使用して、どの計算モデルを使用するかを研究しています。
私はかなり基本的な質問がありますが、皆さんの何人かがその背後にある概念を理解するのを助けてくれることを本当に望んでいます:
なぜすべてが言語の概念と定義(つまり、通常の言語と文脈自由言語)に集中しているのですか?そして、これらはアルゴリズムの複雑さとそれらを解決するための可能な計算モデルをどのように関連付けて説明しますか?
私はこれらの種類の関連する質問を読みます:
- /cstheory/14811/what-is-the-enlightenment-im-supposed-to-attain-after-studying-finite-automata
- /cstheory/8539/how-practical-is-automata-theory
しかし、それらがなぜ重要であるか(私は理解しています)の実用的な正当化を提供しますが、複雑性理論がそれらに基づいている理由を理解するのに役立ちませんので、それでも私の疑問に対する答えはありません。