##  [Completación Knuth–Bendix](/es/node/62345) 

  ##  [Completación Knuth–Bendix](https://puremath.quantumdictionary.io/es/node/62346) 

  

 [![Pure Mathematics Dictionary](/sites/default/files/styles/large/public/2026-01/Pure%20Mathematics.png.webp?itok=5pZnFQ59)](/topic-specific-dictionaries/mathematics-logic/pure-mathematics)

- Mathematics & Logic -

**Pure Mathematics Dictionary**

 







 

 

 

 



 

 

 

 

Definición

Procedimiento aplicado a un sistema de reescritura presentado que intenta producir un sistema de reescritura confluyente (completo) orientando relaciones en reglas de reescritura bajo un orden de reducción elegido y añadiendo consecuencias obtenidas de solapamientos críticos hasta que no queden pares críticos sin resolver o el proceso diverja.

 

 

 

 

 





 

 



 ##  [Completación Knuth–Bendix](https://algebra.quantumdictionary.io/es/node/63958) 

  

 [![Algebra](/sites/default/files/styles/large/public/2026-01/Algebra.png.webp?itok=3pHxBnUF)](/topic-specific-dictionaries/pure-mathematics/algebra)

- Pure Mathematics -

**Algebra Dictionary**

 







 

 

 

 



 

 

 

 

Definición

Un procedimiento algorítmico que toma un conjunto de reglas de reescritura (o relaciones) junto con un orden de reducción bien fundado e intenta extender el conjunto de reglas añadiendo consecuencias (resolviendo pares críticos) para producir un sistema de reescritura confluyente (y terminante) que resuelve el problema de las palabras en el álgebra presentada cuando tiene éxito.