Sistemas de Reescriptura

Sistema de reescritura

Conjunto formal de reglas de transformación que permiten modificar expresiones simbólicas según esquemas predefinidos. Constituye el fundamento matemático de numerosos mecanismos de cálculo y prueba automática.

← Volver