règles et substitutions: Du point de vue de la syntaxe, une règle est une liste d'objets du type
x=>y ou
x:=>y. On appelle variable ou patron un
x , respectivement, s'il est une variable ou non. On appelle image un
y et paire un
x=>y ou
x:=>y. Une substitution est une règle définie exclusivement par des variables. Si l'on choisit
=>, on utilise la valeur de
y pour définir la règle mais, en choisissant
:=>, on considère
y comme variable à la définition de la règle.
Les symboles => et :=> peuvent être créés avec les icônes
et
, respectivement.
Lorsque l'on applique une règle à une expression, toutes les occurrences de chaque patron (ou variable) de cette expression sont remplacées par l'image de leur patron (ou variable). Les termes qui ne correspondent pas au patron (ou à la variable) ne sont pas modifiés.