計算モデル
計算モデル[model of computation]
コンピューターが行う計算・推論・証明といった計算機構を抽象的に表したモデルのこと.
計算モデルの種類としては,
- 機械型計算モデル[Sequential computational models]
- 関数型計算モデル[Functional computational models]
- 論理型計算モデル[Logic computational model]
- 並行計算モデル[Parallel computational models]
などがある.
INDEX
