「計算モデル」の版間の差分
削除された内容 追加された内容
m 記事の読み仮名の追加 |
|||
1行目:
{{読み仮名|'''計算モデル'''|けいさんモデル|{{lang-en-short|model of computation}}}}は、[[計算]]・[[推論]]・[[証明 (数学)|証明]]といった行為を理論的・抽象的に考察するための[[数理モデル]]である。'''計算模型'''とも。これに含まれるうちで、[[チューリングマシン]]などのように感覚的に機械っぽいものを'''[[抽象機械]]'''という。機械っぽくないものとしては[[ラムダ計算]]などがある。
[[理論計算機科学]]の多くの分野で、「計算機械」を理論的に、すなわちモデル化して扱うために多大に活用されている。また特に抽象機械は、実際の[[プロセッサ]]や[[コンパイラ]]や[[インタプリタ]]の研究や開発など、理論に限らず実際的な分野でも活用される。[[計算理論]]においては、[[計算可能性理論|計算可能性]]や[[計算複雑性理論|計算複雑性]]について形式的・定量的に示すためなどに使われており、古典的な成果に[[チャーチ＝チューリングのテーゼ]]がある。
| |||