Sistemas de Reescriptura

Orden de reducción

Relación de orden bien fundada sobre los términos utilizada para probar la terminación de un sistema de reescritura. Permite garantizar que cada reescritura disminuye estrictamente los términos según este orden.

← Volver