クヌース・ベンディックス完備化アルゴリズム
クヌース・ベンディックス完備化アルゴリズムとは
クヌース・ベンディックス完備化アルゴリズム、あるいはクヌース・ベンディックス完備化手続きは、等式の有限集合をそれと等価な完備性のある項書き換えシステムに変換するアルゴリズムである。このアルゴリズムは普遍代数（en）での語の問題（en）を解くための手法としてクヌースとベンディックスから提案された
- 出典: フリー百科事典『ウィキペディア（Wikipedia）』
- [ クヌース・ベンディックス完備化アルゴリズムの改定履歴 ]
ソーシャルウェア
InWeaveは組織対応等の機能を強化した情報・知識共有基盤です。
Oracleデータベース
高い技術力と豊富なノウハウを持った技術者によるOracleデータベース設計/構築サービスをご提供。
