1


regles i substitucions: Des del punt de vista sintàctic, una regla és una llista d'objectes del tipus x=>y o x:=>y. Anomenem variable o patró a x depenent de si és una variable o no, respectivament; anomenem imatge a yi a x=>y i anomenem parell a x:=>y. Una substitució és una regla definida exclusivament per a variables. Si triem => usem el valor de y per a definir la regla i, en canvi, a l'escollir :=>, considerem y com a variable a l'hora de definir la regla.

Els símbols => i :=> es poden crear amb les icones i , respectivament.

En aplicar una regla a una expressió, totes les ocurrències de cada patró (o variable) en aquesta expressió són substituïdes per la imatge de seu el patró (o variable). Els termes que no encaixen amb el patró (o variable) no es modifiquen.





mathsformore.com powered by WIRIS

©2003 maths for more sl. Tots els drets reservats. Avís legal