ログインすると広告が減り、学習に集中できます。
広告
検索結果- 英語 - 多言語
検索内容:
Knuth-Bendix completion algorithm
固有名詞
(computing theory) A semidecision algorithm for transforming a set of equations (over terms) into a confluent term rewriting system.
日本語の意味
(計算理論)項の集合に対する一群の方程式を、縮約性(コンフルエント性)を持つ項書き換え系へと変換するための、半決定的アルゴリズム
英語の意味
(computing theory) A semidecision algorithm for transforming a set of equations (over terms) into a confluent term rewriting system.
completedness
completest
completest
completedly
関連語