Knuth-Bendix completion algorithm
English
Etymology
Named after Donald Knuth and Peter Bendix.
Proper noun
Knuth-Bendix completion algorithmCategory:English lemmas#KNUTHBENDIXCOMPLETIONALGORITHMCategory:English proper nouns#KNUTHBENDIXCOMPLETIONALGORITHMCategory:English uncountable nouns#KNUTHBENDIXCOMPLETIONALGORITHMCategory:English multiword terms#KNUTHBENDIXCOMPLETIONALGORITHMCategory:English entries with incorrect language header#KNUTHBENDIXCOMPLETIONALGORITHMCategory:Pages with entries#KNUTH-BENDIX%20COMPLETION%20ALGORITHMCategory:Pages with 1 entry#KNUTH-BENDIX%20COMPLETION%20ALGORITHM
- (computing theoryCategory:en:Theory of computing#KNUTHBENDIXCOMPLETIONALGORITHM) A semidecision algorithm for transforming a set of equations (over terms) into a confluent term rewriting system.