Sistemas de Reescriptura

Confluencia

Propiedad que garantiza que diferentes caminos de reescritura a partir de un mismo término convergen hacia una forma normal única. Esencial para asegurar el determinismo de los cálculos y la coherencia de los resultados.

← Volver