「計算モデル」の版間の差分
削除された内容 追加された内容
m ロボットによる 追加: simple:Automaton |
たとえばSECDマシンは抽象機械とされることもあるが、あまりオートマトン理論の範疇とはされない |
||
1行目:
'''計算模型'''(''model of computation'')とは、人工的な[[計算機]]を含め、[[計算]]・[[推論]]・[[証明]]といった行為を理論的・抽象的に考察するための[[モデル_(自然科学)|数理模型]]のことである。'''計算モデル'''とも。また、'''抽象機械'''(''abstract machine'')と言った場合、
計算モデルのもうひとつの定義として、[[複雑系]]をコンピュータ[[シミュレーション]]で研究する際に、自然現象を計算できるようにモデル化したものも意味する。{{main|計算科学}}
|