hoofdregels en substitutie: Vanuit syntactisch oogpunt is een regel een lijst van objecten van het type
x=>y of
x:=>y. We noemen
x variabele of patroon, afhankelijk van het feit of het een variabele is of niet, we noemen
y afbeelding en we we zeggen koppel voor
x=>y of
x:=>y. Een substitutie is een hoofdregel die enkel gedefinieerd wordt door variabelen. Indien we
=> kiezen, gebruiken we de waarde van
y om de regel te definiëren, maar als we
:=>kiezen, beschouwen we
y als variabele bij het definiëren van de regel.
De symbolen => en :=> kunnen we creëren met de icoontjes
en
.
Door een hoofdregel toe te passen op een uitdrukking, worden alle patronen (of variabelen) die opduiken in die uitdrukking vervangen door het beeld van hun patroon (of variabele). De termen die niet overeenkomen met het patroon (of variabele), worden niet gewijzigd.