Termgraphersetzung G->H mit Ersetzung der Form:<v, l->r> 1. G->G1: Entfernen der ersten Kante des Teilgraphen v 2. G1 -> G2: Vereinigung von G1 mit r 3. G2->H: Entfernen aller Knoten und Kanten, die nicht mehr von der Wurzel aus erreichbar sind Beispiel(1) Term: s(0) + ( s(0) x ((0+y) + (0+y))) Termersetzungsregel: a x (b + c) -> (a x b) + (a x c) Beispiel(2) Schritt 1: Entfernung der Eingangskante Beispiel(3) Schritt2: Einfügen von (a x b) + (b x c)