Nächste Seite:
Variablen, Substitutionen
Aufwärts:
Terme, Ersetzungs-Systeme (Grundl.)
Vorherige Seite:
Baum-Bereiche
Einsetzen an Position
t
[
p
: =
s
]
in
t
an Position
p
den Term
s
einsetzen
Übung: definiere das exakt:
für Term als Zeichenketten
für Term als Abbildung von Baumbereich
Johannes Waldmann 2015-12-11