Sistema de Reescritura de Términos

Un sistema formal formado por términos construidos a partir de símbolos de función y variables junto con un conjunto de reglas de reescritura dirigidas de la forma l → r que reemplazan instancias de un patrón izquierdo l por el término derecho correspondiente r; la reescritura procede mediante el emparejamiento y reemplazo repetidos de subtérminos.

Un sistema formal formado por un conjunto de reglas de reescritura dirigidas que transforman términos en otros términos mediante reemplazos dirigidos por patrones y sustitución.