エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
クヌース・ベンディックス完備化アルゴリズム - Wikipedia
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
クヌース・ベンディックス完備化アルゴリズム - Wikipedia
クヌース・ベンディックス完備化アルゴリズム(クヌース・ベンディックスかんびかアルゴリズム、英: Knu... クヌース・ベンディックス完備化アルゴリズム(クヌース・ベンディックスかんびかアルゴリズム、英: Knuth–Bendix completion algorithm)、あるいはクヌース・ベンディックス完備化手続きは、等式の有限集合をそれと等価な完備性のある項書き換えシステムに変換するアルゴリズムである。このアルゴリズムは普遍代数(en)での語の問題(word problem)(en)を解くための手法としてクヌースとベンディックスから提案された[1]。 アルゴリズムは必ず成功するとは限らないが、成功した場合は停止性と合流性のある項書き換えシステムを生成することができる。そのベースとなる考え方は多くの分野で応用することができる。 一般に、項書き換えシステムは項の書き換え(簡約、reduction)が必ず停止するとは限らず、また書き換えの際に複数の書き換え規則を適用できる場合は最終的な結果が一意に