Knuth-Bendix completion algorithm

English

Named after Donald Knuth and Peter Bendix.

Knuth-Bendix completion algorithm

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

单词	Knuth-Bendix completion algorithm
释义	Knuth-Bendix completion algorithm English Etymology Named after Donald Knuth and Peter Bendix. Proper noun Knuth-Bendix completion algorithm (computing theory) A semidecision algorithm for transforming a set of equations (over terms) into a confluent term rewriting system.
随便看	disprofesses disprofessing disprofit disprofitable disprofited disprofiting disprofits dispromessa dispromesse dispromessi dispromesso disprometta dispromettano dispromette dispromettemmo dispromettendo dispromettente disprometterai disprometteranno dispromettere disprometterebbe disprometterebbero disprometterei disprometteremmo disprometteremo