アルゴリズム？

計算可能なことを計算する

解が定まっている「計算可能」な問題に対して、その解を正しく求める手続きをさす。

曖昧さのない単純な手順の組み合わせとして記述された一連の手続きで、必ず有限回の操作で終了する。