1


reglas y sustituciones: Desde el punto de vista sintáctico, una regla es una lista de objetos del tipo x=>y o x:=>y. Llamamos variable o patrón a x según si es una variable o no, respectivamente; llamamos imagen a y y llamamos par a x=>y o x:=>y. Una sustitución es una regla definida exclusivamente por variables. Si escogemos =>, usamos el valor de y para definir la regla y, en cambio, al escoger :=>, consideramos y como variable al definir la regla.

Los símbolos => y :=> se pueden crear con los iconos y , respectivamente.

Al aplicar una regla a una expresión, todas las ocurrencias de cada patrón (o variable) en esta expresión son sustituidas por la imagen de su patrón (o variable). Los términos que no encajan con el patrón (o variable) no se modifican.





mathsformore.com powered by WIRIS

©2003 maths for more sl. Todos los derechos reservados. Aviso legal