クヌース・ベンディックス完備化アルゴリズム

クヌース・ベンディックス完備化アルゴリズム（クヌース・ベンディックスかんびかアルゴリズム、英: Knuth–Bendix completion algorithm）、あるいはクヌース・ベンディックス完備化手続きは、等式の有限集合をそれと等価な完備性のある項書き換えシステムに変換するアルゴリズムである。このアルゴリズムは普遍代数（en）での語の問題（word problem）（en）を解くための手法としてクヌースとベンディックスから提案された。