2024年05月31日
停止しないとアルゴリズムじゃない
- 2024-05-31 (Fri)
- 一般
「停止しないとアルゴリズムって言わないよね」という一言から始まる井戸端議論に参加した．Knuth–Bendix の完備化のアルゴリズムとか止まらんよね，とか思ったのだけど，Knuth 自身の本に「アルゴリズムは以下の特徴を備えたものである。(1) 有限ステップで終わる。……」みたいに書いてあった．アルゴリズムイントロダクションも「アルゴリズムは止まるもの（普通は）」的な感じに書いてある．
ということで，真面目に（理論計算機科学的な文脈で）アルゴリズムだという場合には止まらないとダメっぽい．なるほど．
日常会話的には止まらないやつもアルゴリズムと言ってしまうけれど，これを真面目に言おうと思うとなんて言うのが正しいのだろう？
- Comments: 0
- TrackBack (Close): -