アルゴリズム

問題を解く手順であり、次の性質を満たすものと定義されている

  1. 有限個の演算・操作の列のこと
  2. ここの演算・操作の終了時に次の演算・操作が決まっている
  3. 有限回の演算・操作の後、必ず、手順は終了する
  4. 手順の終了時に問題の正当な答が得られている