Definition:Knuth-Bendix Completion Algorithm

Also see

 * Definition:DFA Minimization
 * Definition:Turing Machine