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