Sistemas de Reescriptura

Forma normal

Expresión que ya no puede ser reescrita por ninguna regla del sistema. El alcance de una forma normal garantiza la terminación del proceso de reescritura para ese término específico.

← Volver