Last Updated：2025/12/02

(computing theory) A semidecision algorithm for transforming a set of equations (over terms) into a confluent term rewriting system.

音声機能が動作しない場合はこちらをご確認ください

See correct answer

Knuth-Bendix completion algorithm

Source Word

Knuth-Bendix completion algorithm

(computing theory) A semidecision algorithm for transforming a set of equations (over terms) into a confluent term rewriting system.

Japanese Meaning

（計算理論）項の集合に対する一群の方程式を、縮約性（コンフルエント性）を持つ項書き換え系へと変換するための、半決定的アルゴリズム

大学院生たちは、項に関する方程式の集合を合流性のある項書換系に変換するための準決定アルゴリズムを実装し、それによって定理証明器を最適化した。

Sense（1）

(computing theory) A semidecision algorithm for transforming a set of equations (over terms) into a confluent term rewriting system.