Visualisierung eines Termgraphen Term: s(0) +((s(0) x (0 + y)) + (s(0) x (0 +y) Operationen auf Termgraphen Zusammenfalten Wurzel bleibt erhalten Zusammenlegen gemeinsam nutzbarer Knoten Vollständig zusammengefaltet: für jeden Knoten v und w gilt: term(v) =term(w) -> v=w Quasi-Inverse Operation: Auswalzen Zusammenfalten und Auswalzen Einige Begriffe t: t mit gemeinsam genutzen Variablen t: t aber ohne die mit Variablen beschrifteten Kanten