計算モデルとはなんですか？

A. 計算モデルとは、計算や推論、証明といった行為を理論的・抽象的に考察するための数理モデルです。

参考URL:https://ja.wikipedia.org/wiki/%E8%A8%88%E7%AE%97%E3%83%A2%E3%83%87%E3%83%AB