Sistemas de Reescriptura

Teorema de Church-Rosser

Resultado fundamental que establece la equivalencia entre confluencia y la existencia de una forma normal única. Base teórica que garantiza la coherencia de los sistemas de cálculo por reescritura.

← Volver