Estoy leyendo el libro "Computación con grupos finitamente presentados" en la página 59, 
No sé por qué tenemos que probar sólo seis palabras? ¿se pueden generar otras palabras con las seis palabras? parece que no.
Respuesta
¿Demasiados anuncios?
¿Conoce la definición de confluencia local? Se buscan pares de lados izquierdos de reglas de la forma $uv$ y $vw$ para cuerdas $u,v,w$ . Luego, para probar la confluencia local, se reduce la palabra $uvw$ de dos maneras diferentes y comprueba que los resultados son los mismos.
Las seis palabras de la lista son las únicas posibles $uvw$ que surgen de los tres lados izquierdos en el sistema de reescritura. Por ejemplo, el primero $xyzx$ viene de los lados de la izquierda $xyz$ y $yzx$ con $u=x$ , $v=yz$ , $w=x$ .
