Sistemas de Reescriptura

Regla de reescritura

Par (l, r) donde l es el miembro izquierdo y r el miembro derecho, especificando cómo sustituir un patrón por otro en una expresión. La reescritura se aplica cuando el patrón l es identificado en el término a transformar.

← Volver