計算モデル

Wikipediaではこう
アルゴリズム」の概念を定式化する為の数学モデルのこと。チューリングマシン帰納的関数λ計算などがある。