「計算モデル」の版間の差分

'''計算模型'''（''model of computation''）とは、人工的な[[計算機]]を含め、[[計算]]・[[推論]]・[[証明]]といった行為を理論的・抽象的に考察するための[[モデル_(自然科学)|数理模型]]のことである。'''計算モデル'''とも。

また、'''[[抽象機械]]'''（''abstract machine''）と言った場合、主に[[オートマトン]]理論での計算システムの理論的モデルを意味する。{{main|抽象機械}}

計算過程の抽象化は[[計算機科学]]と[[計算機工学]]で一般に使われる手法である。