Termgraph Ersetzung Von Florian T. R.Wilhelm Motivation Repräsentation von Termen als Graphen Nutzung gemeinsamer äquivalenter Subterme, ohne diese doppelt im Speicher halten zu müssen Einfaches Verfahren zur Transformation von Graphen Termersetzungssystem Terme, Ersetzungsregeln Regel l->r erfüllt die Bedingungen: 1. l ist keine einzelne Variable 2. Alle Variablen in r treten auch in l auf Verfahren: 1. Prüfen ƒÐ(l) ein Unterterm von t  ist 2. Ersetze ƒÐ(l) durch ƒÐ(r) Termgraph Hauptanforderungen an einen Graphen G: Wurzel-Elemente in G: sind von jedem Knoten aus erreichbar G ist azyklisch Jeder Knoten ist das Ergebnis einer eindeutig bestimmten Kante