「計算モデル」の版間の差分
削除された内容 追加された内容
編集の要約なし |
m 記事の読み仮名の追加 |
||
1行目:
{{読み仮名|'''計算モデル'''
[[理論計算機科学]]の多くの分野で、「計算機械」を理論的に、すなわちモデル化して扱うために多大に活用されている。また特に抽象機械は、実際の[[プロセッサ]]や[[コンパイラ]]や[[インタプリタ]]の研究や開発など、理論に限らず実際的な分野でも活用される。[[計算理論]]においては、[[計算可能性理論|計算可能性]]や[[計算複雑性理論|計算複雑性]]について形式的・定量的に示すためなどに使われており、古典的な成果に[[チャーチ=チューリングのテーゼ]]がある。
|