Nächste Seite:
Wort- und Term-Ersetzung
Aufwärts:
Terme, Ersetzungs-Systeme
Vorherige Seite:
Regelsysteme
Beispiele
Signatur (mit Stelligkeiten):
= {
e
0
,
s
1
,
p
2
,
m
2
,
h
2
}
R
= {
p
(
e
,
y
)
y
,
p
(
s
(
x
),
y
)
s
(
p
(
x
,
y
))}
Ableitungen von
p
(
p
(
e
,
s
(
e
)),
s
(
e
))
?
Johannes Waldmann 2007-01-30
= {e0, s1, p2, m2, h2}
y, p(s(x), y)s(p(x, y))}