Church–Turing thesis
アルゴリズムは最終的に必ず停止しなければならないとする定義もある。というより形式的で厳密な議論では停止するものだけがアルゴリズムである（チャーチ＝チューリングのテーゼも参照）。