Nächste Seite:
Substitutionen (Produkt, Ordnung)
Aufwärts:
Logisches Programmieren
Vorherige Seite:
Implementierung
Substitutionen (Definition)
Signatur
Σ
=
Σ
0
∪…
Σ
k
,
Term(
Σ
,
V
)
ist kleinste Menge
T
mit
V
⊆
T
und
∀0≤
i
≤
k
,
f
∈
Σ
i
,
t
1
∈
T
,…,
t
i
∈
T
:
f
(
t
1
,…,
t
i
)∈
T
.
Substitution: partielle Abbildung
σ
:
V
→Term(
Σ
,
V
)
,
Definitionsbereich:
dom
σ
, Bildbereich:
img
σ
,
so daß
für alle
v
∈dom
σ
:
vσ
≠
v
kein
v
∈dom
σ
kommt in
img
σ
als Teilterm vor
Substitution
σ
auf Term
t
anwenden:
tσ
Johannes Waldmann 2010-01-25