1


regole e sostituzioni: Dal punto di vista sintattico, una regola è una lista di oggetti del tipo x=>y o x:=>y. Si definisce variabile o modello x se si tratta, rispettivamente, di una variabile o no; si definisce immagine y e si definisce uguale x=>y o x:=>y. Una sostituzione è una regola definita esclusivamente da variabili. Se si sceglie =>, si usa il valore di y per definire la regola, mentre invece, scegliendo :=>, verrà considerata y come la variabile durante la definizione della regola.

I simboli => e :=> possono essere creati con le icone e , rispettivamente.

Applicando una regola a un'espressione, tutte le occorrenze di ogni modello (o variabile) contenute in tale espressione vengono sostituite dall'immagine del relativo modello (o variabile). I termini che non coincidono con il modello (o variabile) non vengono modificati.





mathsformore.com powered by WIRIS

©2003 maths for more sl. Tutti i diritti riservati. Avviso legale