Resolución del Problema de las Palabras
- Mathematics & Logic -
Pure Mathematics Dictionary
Definición
El proceso de decisión para determinar si dos palabras en los generadores de una estructura algebraica presentada representan el mismo elemento en el cociente definido por las relaciones; equivalente a decidir si una palabra dada representa la identidad.